Jörg H. Siekmann, Christoph Benzmüller, Vladimir Brezhnev, Lassaad Cheikhrouhou, Armin Fiedler, Andreas Franke, Helmut Horacek, Michael Kohlhase, Andreas Meier, Erica Melis, Markus Moschner, Immanuel Normann, Martin Pollet, Volker Sorge, Carsten Ullrich, Claus-Peter Wirth, Jürgen Zimmer. Proof Development with OMEGA. In Andrei Voronkov, editor, Automated Deduction - CADE-18, 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings. Volume 2392 of Lecture Notes in Computer Science, pages 144-149, Springer, 2002. [doi]
@inproceedings{SiekmannBBCFFHKMMMNPSUWZ02,
title = {Proof Development with OMEGA},
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},
year = {2002},
url = {http://link.springer.de/link/service/series/0558/bibs/2392/23920144.htm},
researchr = {https://researchr.org/publication/SiekmannBBCFFHKMMMNPSUWZ02},
cites = {0},
citedby = {0},
pages = {144-149},
booktitle = {Automated Deduction - CADE-18, 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings},
editor = {Andrei Voronkov},
volume = {2392},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-43931-5},
}