1. K.R. Apt, Program verification and prolog, in: E. Börger (Ed.), Specification and Validation Methods for Programming Languages and Systems, Oxford University Press, Oxford, 1995, pp. 55–95
2. K.R. Apt, From Logic Programming to Prolog, Prentice- Hall, Englewood Cliffs, NJ, 1997
3. A closer look at declarative interpretations;Apt;J. Logic Programming,1996
4. A. Bossi, N. Cocco, Verifying correctness of logic programs, in: Proceedings of TAPSOFT'89, LNCS 352, Springer, Berlin, 1989, pp. 96–110
5. K.L. Clark, Predicate logic as a computational formalism, Technical Report Doc 79/59, Logic Programming Group, Imperial College, London, 1979