Serge Autexier, Dieter Hutter, Heiko Mantel, and Axel Schairer. Inka 5.0 - a logical voyager . In H. Ganzinger, editor, Proceedings 16th International Conference on Automated Deduction, CADE-16 . Springer Verlag, LNAI 1632, 1999. Serge Autexier, Dieter Hutter, Bruno Langenstein, Heiko Mantel, Georg Rock, Axel Schairer, Werner Stephan, Roland Vogt, and Andreas Wolpers.
Formal methods meet industrial needs .
Colouring terms to control equational reasoning .