On the declarative and procedural semantics of definite metalogic programs (1996)

by Christopher P Higgins
Venue:J. Logic and Computation