Neil D. Jones, Alan Mycroft. Stepwise Development of Operational and Denotational Semantics for Prolog. In SLP. pages 281-288, 1984.
@inproceedings{JonesM84, title = {Stepwise Development of Operational and Denotational Semantics for Prolog}, author = {Neil D. Jones and Alan Mycroft}, year = {1984}, tags = {semantics, Prolog, denotational semantics, operational semantics}, researchr = {https://researchr.org/publication/JonesM84}, cites = {0}, citedby = {0}, pages = {281-288}, booktitle = {SLP}, }