Author:
Bossi Annalisa,Etalle Sandro,Rossi Sabina
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Formal Models and Semantics;K.R. Apt,1990
2. K. R. Apt. From Logic Programming to Prolog. Prentice Hall, 1997.
3. Lect Notes Comput Sci;K. R. Apt,1995
4. R. Apt and A. Pellegrini. On the occur-check free Prolog programs. ACM Toplas, 16(3):687–726, 1994.
5. A. Bossi, S. Etalle, and S. Rossi. Properties of input-consuming derivations. Electronic Notes in Theoretical Computer Science, 30(1), 1999.
http://www.elsevier.nl/locate/entcs
, temporarily available at http://www.cs.unimaas.nl/~etalle/papers/index.htm.
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献