Positive Boolean Functions as Multiheaded Clauses.

Jacob M. Howe, Andy King

Browse the full ICLP paper archive.