@article{ dblp3359727,
  title = {Special Issue on User Interfaces in Theorem Proving: Preface},
  author = {David Aspinall and Christoph Lüth},
  author_short = {Aspinall, D. and Lüth, C.},
  bibtype = {article},
  type = {article},
  year = {2007},
  key = {dblp3359727},
  id = {dblp3359727},
  biburl = {http://www.dblp.org/rec/bibtex/journals/jar/AspinallL07},
  url = {http://dx.doi.org/10.1007/s10817-007-9075-0},
  journal = {J. Autom. Reasoning (JAR)},
  pages = {107-108},
  number = {2},
  volume = {39},
  text = {J. Autom. Reasoning (JAR) 39(2):107-108 (2007)}
}

{"_id":{"_str":"5277dc255e011a4c4b000189"},"__v":9,"authorIDs":["5461d3a38a9aab071c0000fe"],"author_short":["Aspinall, D.","Lüth, C."],"bibbaseid":"aspinall-lth-specialissueonuserinterfacesintheoremprovingpreface-2007","bibdata":{"title":"Special Issue on User Interfaces in Theorem Proving: Preface","author":["David Aspinall","Christoph Lüth"],"author_short":["Aspinall, D.","Lüth, C."],"bibtype":"article","type":"article","year":"2007","key":"dblp3359727","id":"dblp3359727","biburl":"http://www.dblp.org/rec/bibtex/journals/jar/AspinallL07","url":"http://dx.doi.org/10.1007/s10817-007-9075-0","journal":"J. Autom. Reasoning (JAR)","pages":"107-108","number":"2","volume":"39","text":"J. Autom. Reasoning (JAR) 39(2):107-108 (2007)","bibtex":"@article{ dblp3359727,\n title = {Special Issue on User Interfaces in Theorem Proving: Preface},\n author = {David Aspinall and Christoph Lüth},\n author_short = {Aspinall, D. and Lüth, C.},\n bibtype = {article},\n type = {article},\n year = {2007},\n key = {dblp3359727},\n id = {dblp3359727},\n biburl = {http://www.dblp.org/rec/bibtex/journals/jar/AspinallL07},\n url = {http://dx.doi.org/10.1007/s10817-007-9075-0},\n journal = {J. Autom. Reasoning (JAR)},\n pages = {107-108},\n number = {2},\n volume = {39},\n text = {J. Autom. Reasoning (JAR) 39(2):107-108 (2007)}\n}","bibbaseid":"aspinall-lth-specialissueonuserinterfacesintheoremprovingpreface-2007","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/s10817-007-9075-0"},"downloads":0},"bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/jar/AspinallL07","downloads":0,"keywords":[],"search_terms":["special","issue","user","interfaces","theorem","proving","preface","aspinall","lüth"],"title":"Special Issue on User Interfaces in Theorem Proving: Preface","year":2007,"dataSources":["fhTyrxZKS73wx9Pq5"]}