Proof Theory and Semantics of Logic Programs

Haim Gaifman Ehud Y. Shapiro Proof Theory and Semantics of Logic Programs conf/lics/LICS4 1989 LICS 50-62 db/conf/lics/lics89.html#GaifmanS89