1. The generalized completeness of horn predicate logic as a programming language;Andréka;Acta Cybernetica,1978
2. K.R. Apt, M. Bezem, Acyclic programs, in: D.H.D. Warren, P. Szeredi (Eds.), Proceedings of the Seventh International Conference on Logic Programming, MIT Press, Cambridge, MA, 1990, pp. 617–633
3. K.R. Apt, D. Pedreschi, Modular termination proofs for logic and pure Prolog programs, in: G. Levi (Ed.), Advances in Logic Programming Theory, Oxford University Press, Oxford, 1994, pp. 183–229
4. K.R. Apt, Logic programming. in: J. van Leeuwen (Ed.), Handbook of Theoretical Computer Science, vol. B, Elsevier, Amsterdam, 1990, pp. 493–574
5. K.R. Apt. From Logic Programming to Prolog. CAR Hoare Series Editor, Prentice-Hall, Englewood Cliffs, NJ, 1996