@inproceedings{EndrissTableaux1999-winke,
  author =        {Ulrich Endriss},
  title =         {An Interactive Theorem Proving Assistant},
  editor =        {N.~V.~Murray},
  booktitle =     {Automated Reasoning with Analytic Tableaux and Related Methods, Proceedings of Tableaux-1999},
  series =        {LNAI},
  volume =        {1617},
  pages =         {308--312},
  publisher =     {Springer-Verlag},
  month =         {June},
  year =          {1999}
}