1. Ait-Kaci, H., Nivat, M. (eds.): Resolution of Equations in Algebraic Structures. Academic Press, London (1989)
2. Armando, A., Rusinowitch, M., Stratulat, S.: Incorporating Decision Procedures in Implicit Induction. J. Symbolic Computation 34, 241–258 (2002)
3. Autexier, S., Hutter, D., Mantel, H., Schairer, A.: Inka 5.0 – A Logical Voyager. In: Ganzinger, H. (ed.) CADE 1999. LNCS (LNAI), vol. 1632, pp. 207–211. Springer, Heidelberg (1999)
4. Avenhaus, J., Madlener, K.: Theorem Proving in Hierarchical Clausal Specifications. SEKI-Report SR–95–14 (SFB), Univ. Kaiserslautern (1995), http://www-madlener.informatik.uni-kl.de/seki/1995/Avenhaus.SR-95-14.ps.gz (March 07, 2002)
5. LNAI;M. Baaz,1997