@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} }