System Description: INKA 5.0 - A Logical Voyager

@inproceedings{pub1551,
    author = {

Autexier, Serge
 and 

Hutter, Dieter
 and 

Mantel, Heiko
 and 

Schairer, Axel
},
    editor = {

H.Ganzinger,
},
    title = {System Description: INKA 5.0 - A Logical Voyager},
    booktitle = {Proceedings 16th International Conference on Automated Deduction, CADE-16. International Conference on Automated Deduction (CADE), Trento},
    year = {1999},
    address = {Trento, Italy},
    publisher = {Springer-Verlag, LNAI 1632}
}