Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. Apt, K.R.: Introduction to Logic Programming. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science. Formal Models and Semantics, vol. B, pp. 495–574 (1990)
2. Lecture Notes in Computer Science;K.R. Apt,1995
3. Apt, K.R., Pedreschi, D.: Reasoning about termination of pure prolog programs. Information and Computation 106, 109–157 (1993)
4. Bezem, M.: Characterizing termination of logic programs with level mappings. Journal of Logic Programming 15(1/2), 79–98 (1992)
5. Bossi, A., Cocco, N., Fabris, M.: Norms on Terms and their use in Proving Universal Termination of a Logic Program. Theoretical Computer Science 124, 297–328 (1994)