J. Avenhaus, Th. Hillenbrand, and B. Löchner. : On using ground
joinable equations in equational theorem proving. Journal of
Symbolic Computation, 36(1-2):217-233,2003
Conference Proceedings
J.-M. Gaillourdet, Th. Hillenbrand, B. Löchner, and H. Spies :
The new WALDMEISTER loop at Work In F. Baader, editor,
Proceedings of the 19th International Conference on Automated
Deduction, volume 2741 of LNAI, pages 317-321. Springer-Verlag,
2003
Avenhaus, J.; Kühler, U.; Schmidt-Samoa, T.; Wirth, C.-P. :
How to Prove Inductive Theorems? QuodLibet! Proceedings of
the 19th International Conference on Automated Deduction (CADE-19),
volume 2741 of LNAI, pages 328-333. Springer-Verlag, 2003
Schmidt-Samoa, T. : Interaktive Erstellung von Projektionen zu
Problemspezifikation mit Hilfe von
Abhängigkeitswäldern, SFB 501 Report No. 11/2003,
University of Kaiserslautern, 2003.
