Author:
Bossi Annalisa,Cocco Nicoletta,Etalle Sandro
Publisher
Springer Berlin Heidelberg
Reference50 articles.
1. K. R. Apt and M. Bezem. Acyclic programs. New Generation Computing, 9(3&4):335–363, 1991.
2. C. Aravidan and P. M. Dung. On the correctness of Unfold/Fold transformation of normal and extended logic programs. Technical report, Division of Computer Science, Asian Institute of Technology, Bangkok, Thailand, April 1993.
3. C. Aravidan and P. M. Dung. Partial Deduction of Logic Programs w.r.t. Well-Founded Semantics. New Generation Computing, 13:45–74, 1994.
4. Lect Notes Comput Sci;T. Amtoft,1992
5. K. R. Apt and D. Pedreschi. Studies in pure Prolog: termination. In J.W. Lloyd, editor, Symposium on Computional Logic, pages 150–176, Berlin, 1990. Springer-Verlag.