1. J.H. Andrews. The Logical Structure of Sequential Prolog. In S. Debray and M. Hermenegildo, editors, Proc. 1990 North American Conf. on Logic Programming, 585–602. The MIT Press, Cambridge, Mass., 1990.
2. J.H. Andrews. A Logical Semantics for Depth-first Prolog with Ground Negation. In D. Miller, editor, Proc. 1993 Int'l. Symp. on Logic Programming, 220–234. The MIT Press, Cambridge, Mass., 1993.
3. volume B: Formal Models and Semantics;K. R. Apt,1990
4. B. Arbab and D.M. Berry. Operational and Denotational Semantics of Prolog. Journal of Logic Programming, 4:309–330, 1987.
5. R. Barbuti, M. Codish, R. Giacobazzi, and G. Levi. Modelling Prolog Control. Journal of Logic and Computation, 3:579–603, 1993.