Set Grouping and Layering in Horn Clause Programs.

Oded Shmueli, Shamim A. Naqvi

Browse the full ICLP paper archive.