Avenhaus, J. ; Hillenbrand, T. ; Löchner, B.: On using ground joinable equations in equational theorem proving, to appear in Journal of Symbolic Computation
Löchner, B. ; Hillenbrand, T.: A photography of Waldmeister. Al Communication, 15(2,3): 127-133, 2002
Conference Proceedings
Hillenbrand, T. ; Löchner, B.:The next Waldmeister loop. In: A. Voronkov (ed.): Proceedings of the 18th International Conference on Automated Deduction, vol 2392 of LNAI, Springer, pp 486-500, Kopenhagen, Dänemark, Juli 2002
Internal Reports
Kaiser, Markus:Effizientes Beweisen mit einem formalen Beweissystem. Fachbereich Mathematik, Universität Kaiserslautern 2002
