System Description: INKA 5.0 -- A Logic Voyager<pre>@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},
}
</pre>