Author:
Dovier Agostino,Pontelli Enrico,Rossi Gianfranco
Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Hardware and Architecture,Theoretical Computer Science,Software
Reference38 articles.
1. Apt, K. R. and Bol, R., “Logic Programming and Negation: a Survey,”Journal of Logic Programming, 19–20, pp. 9–71, 1994.
2. Arenas-Sánchez, P. and Dovier, A., “A Minimality Study for Set Unification,”Journal of Functional and Logic Programming, 7, pp. 1–49, 1997.
3. Arni, N., Greco, S. and Saccà, D., “Matching of Bounded Set Terms in the Logic Language LDL++,”Journal of Logic Programming, 27, 1, pp. 73–87, 1996.
4. Baader, F. and Schulz, K. U., Unification Theory, “Automated Deduction — A Basis for Applications,” (Bibel, W. and Schmidt, P. H. eds),Foundations —Calculi and Methods, 1, Applied Logic Series, 8, Vol. 8 of Applied Logic Kluwer Academic Publishers, pp. 225–263. 1998.
5. Barbuti, R., Mancarella, P., Pedreschi, D. and Turini, F., “A Transformation Approach to Negation in Logic Programming,”Journal of Logic Programming, 8, pp. 201–228, 1990.
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献