@InProceedings{	  autexier.ea:system-description--inka-5-0--a-logic-voyager:1999,
  address	= {Trento, Italy},
  author	= {Serge Autexier and Dieter Hutter and Heiko Mantel and Axel
		  Schairer},
  booktitle	= {Proceedings of the 16th International Conference on
		  Automated Deduction (CADE)},
  month		= {July},
  pages		= {207--211},
  pdf		= {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/1999/1999CADE.PDF},
  ps		= {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/1999/1999CADE.PS.zip},
  publisher	= {Springer},
  series	= {LNAI 1632},
  title		= {{System Description: INKA 5.0 -- A Logic Voyager}},
  year		= 1999
}