Stepwise Development of Operational and Denotational Semantics for Prolog

Neil D. Jones, Alan Mycroft. Stepwise Development of Operational and Denotational Semantics for Prolog. In SLP. pages 281-288, 1984.

Authors

Neil D. Jones

Identified as Neil D. Jones

Alan Mycroft

This author has not been identified. Look up 'Alan Mycroft' in Google