@inproceedings{DBLP:journals/entcs/AutexierBFHV04,
  author    = {Serge Autexier and
               Christoph Benzm{\"{u}}ller and
               Armin Fiedler and
               Helmut Horacek and
               Quoc Bao Vo},
  editor    = {Fairouz Kamareddine},
  title     = {Assertion-level Proof Representation with Under-Specification},
  booktitle = {Proceedings of the Mathematical Knowledge Management Symposium, {MKM}
               Symposium 2003, Edinburgh, UK, November 25-29, 2003},
  series    = {Electronic Notes in Theoretical Computer Science},
  volume    = {93},
  pages     = {5--23},
  publisher = {Elsevier},
  year      = {2003},
  url       = {https://doi.org/10.1016/j.entcs.2003.12.026},
  doi       = {10.1016/j.entcs.2003.12.026},
  timestamp = {Wed, 07 Dec 2022 10:22:07 +0100},
  biburl    = {https://dblp.org/rec/journals/entcs/AutexierBFHV04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"6PZyfN3peLbomMx8L","bibbaseid":"autexier-benzmller-fiedler-horacek-vo-assertionlevelproofrepresentationwithunderspecification-2003","author_short":["Autexier, S.","Benzmüller, C.","Fiedler, A.","Horacek, H.","Vo, Q. B."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Serge"],"propositions":[],"lastnames":["Autexier"],"suffixes":[]},{"firstnames":["Christoph"],"propositions":[],"lastnames":["Benzmüller"],"suffixes":[]},{"firstnames":["Armin"],"propositions":[],"lastnames":["Fiedler"],"suffixes":[]},{"firstnames":["Helmut"],"propositions":[],"lastnames":["Horacek"],"suffixes":[]},{"firstnames":["Quoc","Bao"],"propositions":[],"lastnames":["Vo"],"suffixes":[]}],"editor":[{"firstnames":["Fairouz"],"propositions":[],"lastnames":["Kamareddine"],"suffixes":[]}],"title":"Assertion-level Proof Representation with Under-Specification","booktitle":"Proceedings of the Mathematical Knowledge Management Symposium, MKM Symposium 2003, Edinburgh, UK, November 25-29, 2003","series":"Electronic Notes in Theoretical Computer Science","volume":"93","pages":"5–23","publisher":"Elsevier","year":"2003","url":"https://doi.org/10.1016/j.entcs.2003.12.026","doi":"10.1016/j.entcs.2003.12.026","timestamp":"Wed, 07 Dec 2022 10:22:07 +0100","biburl":"https://dblp.org/rec/journals/entcs/AutexierBFHV04.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:journals/entcs/AutexierBFHV04,\n author = {Serge Autexier and\n Christoph Benzm{\\\"{u}}ller and\n Armin Fiedler and\n Helmut Horacek and\n Quoc Bao Vo},\n editor = {Fairouz Kamareddine},\n title = {Assertion-level Proof Representation with Under-Specification},\n booktitle = {Proceedings of the Mathematical Knowledge Management Symposium, {MKM}\n Symposium 2003, Edinburgh, UK, November 25-29, 2003},\n series = {Electronic Notes in Theoretical Computer Science},\n volume = {93},\n pages = {5--23},\n publisher = {Elsevier},\n year = {2003},\n url = {https://doi.org/10.1016/j.entcs.2003.12.026},\n doi = {10.1016/j.entcs.2003.12.026},\n timestamp = {Wed, 07 Dec 2022 10:22:07 +0100},\n biburl = {https://dblp.org/rec/journals/entcs/AutexierBFHV04.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Autexier, S.","Benzmüller, C.","Fiedler, A.","Horacek, H.","Vo, Q. B."],"editor_short":["Kamareddine, F."],"key":"DBLP:journals/entcs/AutexierBFHV04","id":"DBLP:journals/entcs/AutexierBFHV04","bibbaseid":"autexier-benzmller-fiedler-horacek-vo-assertionlevelproofrepresentationwithunderspecification-2003","role":"author","urls":{"Paper":"https://doi.org/10.1016/j.entcs.2003.12.026"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/b/CBenzmueller.bib","dataSources":["TMLR8ZY4yQJ9bNyWt"],"keywords":[],"search_terms":["assertion","level","proof","representation","under","specification","autexier","benzmüller","fiedler","horacek","vo"],"title":"Assertion-level Proof Representation with Under-Specification","year":2003}