Stepwise Development of Operational and Denotational Semantics for Prolog (1984)

by N D Jones, A Mycroft
Venue:Proceedings of the Second International Conference on Logic Programming, (ICLP'92