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

by I Cervesato
Venue:Joint International Conference and Symposium on Logic Programming