Proceedings-Artikel
System Description: INKA 5.0 - A Logical Voyager
Serge Autexier; Dieter Hutter; Heiko Mantel; Axel Schairer
In: H.Ganzinger (Hrsg.). Proceedings 16th International Conference on Automated Deduction, CADE-16. Trento, Springer-Verlag, LNAI 1632, 1999.