Denotational and Operational Semantics for Prolog (1988)

by S K Debray, P Mishra
Venue:Journal of Logic Programming