1. Bachmair, L., Ganzinger, H.: Equational Reasoning in Saturation-Based Theorem Proving. In: Bibel, W., Schmitt, P.H. (eds.) Automated Deduction. A Basis for Applications, vol. I, ch. 11, Kluwer, Dordrecht (1998)
2. Lecture Notes in Artificial Intelligence;P. Baumgartner,1998
3. LNAI;P. Baumgartner,2000
4. Baumgartner, P., Tinelli, C.: The Model Evolution Calculus. Fachberichte Informatik 1–2003, Universität Koblenz-Landau (2003)
5. Bibel, W.: Automated Theorem Proving. Vieweg (1982)