1. Lecture Notes in Artificial Intelligence;P. Baumgartner,2008
2. Baumgartner, P., Furbach, U., Petermann, U.: A unified approach to theory reasoning. Technical report, Inst. für Informatik, Univ. (1992)
3. Lecture Notes in Computer Science;P. Baumgartner,2011
4. Beckert, B.: Chapter 8: Rigid E-unification. In: Bibel, W., Schmitt, P.H. (eds.) Automated Deduction – A Basis for Applications. Foundations. Calculi and Methods, vol. I, pp. 265–289. Kluwer Academic Publishers (1998)
5. Beckert, B.: Equality and other theories. In: Handbook of Tableau Methods, pp. 197–254. Kluwer Academic Publishers (1999)