@inproceedings{ siekmann2002,
  author = {Siekmann, J̈{o}rg H and Benzmüller, Christoph and Brezhnev,
	Vladimir and Cheikhrouhou, Lassaad and Fiedler, Armin and Franke,
	Andreas and Horacek, Helmut and Kohlhase, Michael and Meier, Andreas
	and Melis, Erica and Moschner, Markus and Normann, Immanuel and Pollet,
	Martin and Sorge, Volker and Ullrich, Carsten and Wirth, Claus-Peter
	and Zimmer, Jürgen},
  title = {{Proof Development with OMEGA}},
  booktitle = {Proceedings of 18th International Conference on Automated Deduction},
  year = {2002},
  volume = {2392},
  series = {LNCS},
  pages = {144--149},
  address = {Copenhagen, Denmark},
  month = {July},
  publisher = {Springer},
  keywords = {#proof},
  mendeley-tags = {#untagged}
}

{"_id":{"_str":"5218856caa2f288d1f00029a"},"__v":3,"authorIDs":[],"author_short":["Siekmann","H, J.","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.","Zimmer, J."],"bibbaseid":"siekmann-h-benzmller-brezhnev-cheikhrouhou-fiedler-franke-horacek-kohlhase-meier-melis-moschner-normann-pollet-sorge-ullrich-wirth-zimmer-proofdevelopmentwithomega-2002","bibdata":{"address":"Copenhagen, Denmark","author":["Siekmann","H, J̈org","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","H, J.","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.","Zimmer, J."],"bibtex":"@inproceedings{ siekmann2002,\n author = {Siekmann, J̈{o}rg H and Benzmüller, Christoph and Brezhnev,\r\n\tVladimir and Cheikhrouhou, Lassaad and Fiedler, Armin and Franke,\r\n\tAndreas and Horacek, Helmut and Kohlhase, Michael and Meier, Andreas\r\n\tand Melis, Erica and Moschner, Markus and Normann, Immanuel and Pollet,\r\n\tMartin and Sorge, Volker and Ullrich, Carsten and Wirth, Claus-Peter\r\n\tand Zimmer, Jürgen},\n title = {{Proof Development with OMEGA}},\n booktitle = {Proceedings of 18th International Conference on Automated Deduction},\n year = {2002},\n volume = {2392},\n series = {LNCS},\n pages = {144--149},\n address = {Copenhagen, Denmark},\n month = {July},\n publisher = {Springer},\n keywords = {#proof},\n mendeley-tags = {#untagged}\n}","bibtype":"inproceedings","booktitle":"Proceedings of 18th International Conference on Automated Deduction","id":"siekmann2002","key":"siekmann2002","keywords":"#proof","mendeley-tags":"#untagged","month":"July","pages":"144--149","publisher":"Springer","series":"LNCS","title":"Proof Development with OMEGA","type":"inproceedings","volume":"2392","year":"2002","bibbaseid":"siekmann-h-benzmller-brezhnev-cheikhrouhou-fiedler-franke-horacek-kohlhase-meier-melis-moschner-normann-pollet-sorge-ullrich-wirth-zimmer-proofdevelopmentwithomega-2002","role":"author","urls":{},"keyword":["#proof"],"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://delicias.dia.fi.upm.es/prov-xgCURATED.bib","downloads":0,"keywords":["#proof"],"search_terms":["proof","development","omega","siekmann","h","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":["drTBSwRdnSo2Wujnd"]}