"Proof-Theoretic Foundation of Compilation in Logic Programming."

Iliano Cervesato (1998)
a service of Schloss Dagstuhl - Leibniz Center for Informatics