"Positive Boolean Functions as Multiheaded Clauses."

Jacob M. Howe, Andy King (2001)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics