Set Grouping and Layering in Horn Clause Programs

Oded Shmueli, Shamim A. Naqvi. Set Grouping and Layering in Horn Clause Programs. In ICLP. pages 152-177, 1987.

Abstract

Abstract is missing.