%0 Conference Paper %1 omega02 %A Siekmann, J. %A Benzmüller, C. %A Brezhnev, V. %A Cheikhrouhou, L. %A Fiedler, A. %A Franke, A. %A Horacek, H. %A Kohlhase, M. %A Meier, A. %A Melis, E. %A Moschner, M. %A Normann, I. %A Pollet, M. %A Sorge, V. %A Ullrich, C. %A Wirth, C. %A Zimmer, J. %B Proceedings of the 19th Conference on Automated Deduction (CADE-19) %C Copenhagen, Denmark %D 2002 %E Voronkov, A. %K imported %P 143-148 %T Proof Development with OMEGA %U http://www.ags.uni-sb.de/~chris/papers/C11.pdf %Z ISBN 3-540-40559-3

@inproceedings{omega02, added-at = {2007-10-07T09:43:01.000+0200}, address = {Copenhagen, Denmark}, annote = {ISBN 3-540-40559-3}, author = {Siekmann, J. and Benzm{\"u}ller, C. and Brezhnev, V. and Cheikhrouhou, L. and Fiedler, A. and Franke, A. and Horacek, H. and Kohlhase, M. and Meier, A. and Melis, E. and Moschner, M. and Normann, I. and Pollet, M. and Sorge, V. and Ullrich, C. and Wirth, C. and Zimmer, J.}, biburl = {https://www.bibsonomy.org/bibtex/263ac853b5e0947a67c2cadfb9bf98574/carstenullrich}, booktitle = {Proceedings of the 19th Conference on Automated Deduction (CADE-19)}, editor = {Voronkov, A.}, interhash = {0d100b29ba5a20b78b88ed73a270a0bf}, intrahash = {63ac853b5e0947a67c2cadfb9bf98574}, keywords = {imported}, pages = {143-148}, timestamp = {2007-10-07T09:43:02.000+0200}, title = {Proof Development with OMEGA}, url = {http://www.ags.uni-sb.de/~chris/papers/C11.pdf}, year = 2002 }