Set Grouping and Layering in Horn Clause Programs.

Oded Shmueli Shamim A. Naqvi Set Grouping and Layering in Horn Clause Programs. 152-177 1987 ICLP db/conf/iclp/iclp87.html#ShmueliN87