Lawrence J. Henschen Hyung-Sik Park Compiling the GCWA in Indefinite Deductive Databases. 395-438 Foundations of Deductive Databases and Logic Programming. Morgan Kaufmann 1988 0-934613-40-0 db/books/collections/minker88.html#HenschenP88