A Proof-Theoretic Analysis of Logic Programming (1990)

by J Harland
Venue:Department of Computer Science, University of Melbourne