Operational and denotational semantics of Prolog (1987)

by B Arbab, D M Berry
Venue:Journal of Logic Programming