Proof-theoretic foundation of compilation in logic programming languages (1998)

by Iliano Cervesato
Venue:Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming — JICSLP’98