"A Tutorial on Proof Theoretic Foundations of Logic Programming."

Paola Bruscoli, Alessio Guglielmi (2003)
a service of Schloss Dagstuhl - Leibniz Center for Informatics