@inproceedings{ siekmann2002,
  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},
  title = {Proof Development with OMEGA},
  series = {LNCS},
  booktitle = {Proceedings of 18th International Conference on Automated Deduction},
  month = {July},
  pages = {144--149},
  volume = {2392},
  year = {2002}
}

{"_id":{"_str":"51f5bf0da57e92543f0001db"},"__v":34,"authorIDs":["54572d5f2abc8e9f37000140","545758592abc8e9f370002de","5457e8eb2abc8e9f3700089e","5469333cbc7d6a460d001202","547a70888a7c93e060000da9","548505e89caf65162e000208"],"author_short":["Siekmann, J.<nbsp>H","Benzmüller, C.","Brezhnev, V.","Cheikhrouhou, L.","Fiedler, A.","Franke, A.","Horacek, H.","Kohlhase, M.","Meier, A.","Melis, E.","Moschner, M.","Normann, I.","Pollet, M.","Sorge, V.","Ullrich, C.","Wirth, C.<nbsp>P.","Zimmer, J."],"bibbaseid":"siekmann-benzmller-brezhnev-cheikhrouhou-fiedler-franke-horacek-kohlhase-meier-melis-moschner-normann-pollet-sorge-ullrich-wirth-zimmer-proofdevelopmentwithomega-2002","bibdata":{"author":["Siekmann, Jörg H","Benzmüller, Christoph","Brezhnev, Vladimir","Cheikhrouhou, Lassaad","Fiedler, Armin","Franke, Andreas","Horacek, Helmut","Kohlhase, Michael","Meier, Andreas","Melis, Erica","Moschner, Markus","Normann, Immanuel","Pollet, Martin","Sorge, Volker","Ullrich, Carsten","Wirth, Claus Peter","Zimmer, Jürgen"],"author_short":["Siekmann, J.<nbsp>H","Benzmüller, C.","Brezhnev, V.","Cheikhrouhou, L.","Fiedler, A.","Franke, A.","Horacek, H.","Kohlhase, M.","Meier, A.","Melis, E.","Moschner, M.","Normann, I.","Pollet, M.","Sorge, V.","Ullrich, C.","Wirth, C.<nbsp>P.","Zimmer, J."],"bibtex":"@inproceedings{ siekmann2002,\n 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},\n title = {Proof Development with OMEGA},\n series = {LNCS},\n booktitle = {Proceedings of 18th International Conference on Automated Deduction},\n month = {July},\n pages = {144--149},\n volume = {2392},\n year = {2002}\n}","bibtype":"inproceedings","booktitle":"Proceedings of 18th International Conference on Automated Deduction","id":"siekmann2002","key":"siekmann2002","month":"July","pages":"144--149","series":"LNCS","title":"Proof Development with OMEGA","type":"inproceedings","volume":"2392","year":"2002","bibbaseid":"siekmann-benzmller-brezhnev-cheikhrouhou-fiedler-franke-horacek-kohlhase-meier-melis-moschner-normann-pollet-sorge-ullrich-wirth-zimmer-proofdevelopmentwithomega-2002","role":"author","urls":{},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://data.bibbase.org/author/christoph-benzmuller/?format=bibtex","downloads":0,"keywords":[],"search_terms":["proof","development","omega","siekmann","benzmüller","brezhnev","cheikhrouhou","fiedler","franke","horacek","kohlhase","meier","melis","moschner","normann","pollet","sorge","ullrich","wirth","zimmer"],"title":"Proof Development with OMEGA","title_words":["proof","development","omega"],"year":2002,"dataSources":["mM4ZERzR6yHQqFPMr"]}