Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. Lecture Notes in Artificial Intelligence;P. Baumgartner,2003
2. Clark, K.L.: Negation as failure. In: Gallaire, H., Minker, J. (eds.) Logic and Data Bases, pp. 293–322. Plenum Press, New York (1977)
3. Comon, H., Lescanne, P.: Equational problems and disunification. Journal of Symbolic Computation 7(3-4), 371–425 (1989)
4. Comon, H., Nieuwenhuis, R.: Induction = I-axiomatization + first-order consistency. Information and Computation 159(1/2), 151–186 (2000)
5. Lecture Notes in Artificial Intelligence;C.G. Fermüller,2005