@inproceedings{EndrissTableaux1999-kep,
  author =        {Ulrich Endriss},
  title =         {A Time Efficient KE Based Theorem Prover},
  editor =        {N.~V.~Murray},
  booktitle =     {Automated Reasoning with Analytic Tableaux and Related Methods, Proceedings of Tableaux-1999},
  series =        {LNAI},
  volume =        {1617},
  pages =         {313--318},
  publisher =     {Springer-Verlag},
  month =         {June},
  year =          {1999}
}