Author:
Greco Gianluigi,Zumpano Ester
Publisher
Springer Berlin Heidelberg
Reference26 articles.
1. N. Arni, S. Greco and D. Saccà, Matching of Bounded Set Terms in the Logic Language LDL++, J. of Logic Programming 27(1): 73–87, 1996.
2. C. Beeri, S. Naqvi, O. Shmueli and S. Tsur, Set Constructors in a Logic Database Language, J. of Logic Programming, Vol. 10, No 3 & 4, 1991.
3. E. Dantsin and A. Voronkov, A Nondeterministic Polynomial-Time Unification Algorithm for Bags, Sets and Trees. Proc. Int. Conf. Foundations of Software Science and Computation Structures, 180–196, 1999.
4. G. Dowek, Higher-order unification and matching, A. Robinson and A. Voronkov (eds.), Handbook of Automated Reasoning, pp. 1009–106, Elsevier, 2001.
5. A. Dovier, E. G. Omodeo, E. Pontelli and G. F. Rossi,: A Logic Programming Language with Finite Sets, Proc. Int. Conf. on Logic Programming, 111–124, 1991.