System Description: INKA 5.0 -- A Logic Voyager
@inproceedings{Auetal-99-a, author = {Autexier, Serge and Hutter, Dieter and Mantel, Heiko and Schairer, Axel}, editor = {Ganzinger, Harald}, booktitle = {Proceedings of the 16th International Conference on Automated Deduction (CADE-16)}, title = {System Description: INKA 5.0 -- A Logic Voyager}, volume = {1632}, series = {LNAI}, publisher = {Springer}, address = {Trento, Italy}, pages = {207-211}, month = {july}, year = {1999}, }