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

by N D Jones, A Mycroft
Venue:in Proc. 1984 Int. Symposium on Logic Programming, IEEE Computer Society