@InProceedings{Hil03,
author = {Th.~Hillenbrand},
title = {\textsc{Citius altius fortius:} Lessons Learned from
the Theorem Prover \textsc{Waldmeister} (Invited
Paper)},
booktitle = {Proceedings of the 4th International Workshop on
First-Order Theorem Proving},
year = 2003,
editor = {I.~Dahn and L.~Vigneron},
volume = {86.1},
series = {Electronic Notes in Theoretical Computer Science},
publisher = {Elsevier Science}
}