@inproceedings{CADE-2002-SiekmannBBCFFHKMMMNPSUWZ,
	author        = "Jörg H. Siekmann and Christoph Benzmüller and Vladimir Brezhnev and Lassaad Cheikhrouhou and Armin Fiedler and Andreas Franke and Helmut Horacek and Michael Kohlhase and Andreas Meier and Erica Melis and Markus Moschner and Immanuel Normann and Martin Pollet and Volker Sorge and Carsten Ullrich and Claus-Peter Wirth and Jürgen Zimmer",
	booktitle     = "{Proceedings of the 18th International Conference on Automated Deduction}",
	doi           = "10.1007/3-540-45620-1_12",
	isbn          = "3-540-43931-5",
	pages         = "144--149",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proof Development with OMEGA}",
	volume        = 2392,
	year          = 2002,
}