Henschen, Lawrence J. and
Park, Hyung-Sik. 1988.
“Compiling the GCWA in Indefinite Deductive Databases.” in
Foundations of Deductive Databases and Logic Programming, edited by Jack
Minker, pp. 395–438. San Francisco, California: Morgan Kaufmann Publishers.