@article{1842489,
  author = {Armando, Alessandro and Baumgartner, Peter and Dowek, Gilles},
  title = {Preface},
  journal = {Journal of Automated Reasoning},
  volume = {45},
  number = {2},
  year = {2010},
  issn = {0168-7433},
  pages = {89--89},
  doi = {10.1007/s10817-010-9180-3},
  publisher = {Springer-Verlag New York, Inc.},
  address = {Secaucus, NJ, USA}
}

{"_id":{"_str":"525ba8cb7e98fada740000c4"},"__v":0,"authorIDs":["57c00ade5abfdd4d540000c7"],"author_short":["Armando, A.","Baumgartner, P.","Dowek, G."],"bibbaseid":"armando-baumgartner-dowek-preface-2010","bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Armando"],"firstnames":["Alessandro"],"suffixes":[]},{"propositions":[],"lastnames":["Baumgartner"],"firstnames":["Peter"],"suffixes":[]},{"propositions":[],"lastnames":["Dowek"],"firstnames":["Gilles"],"suffixes":[]}],"title":"Preface","journal":"Journal of Automated Reasoning","volume":"45","number":"2","year":"2010","issn":"0168-7433","pages":"89--89","doi":"10.1007/s10817-010-9180-3","publisher":"Springer-Verlag New York, Inc.","address":"Secaucus, NJ, USA","bibtex":"@article{1842489,\n author = {Armando, Alessandro and Baumgartner, Peter and Dowek, Gilles},\n title = {Preface},\n journal = {Journal of Automated Reasoning},\n volume = {45},\n number = {2},\n year = {2010},\n issn = {0168-7433},\n pages = {89--89},\n doi = {10.1007/s10817-010-9180-3},\n publisher = {Springer-Verlag New York, Inc.},\n address = {Secaucus, NJ, USA}\n}\n\n","author_short":["Armando, A.","Baumgartner, P.","Dowek, G."],"key":"1842489","id":"1842489","bibbaseid":"armando-baumgartner-dowek-preface-2010","role":"author","urls":{},"downloads":0},"bibtype":"article","biburl":"http://ec2-52-59-247-135.eu-central-1.compute.amazonaws.com/ai.bib","downloads":0,"search_terms":["preface","armando","baumgartner","dowek"],"title":"Preface","year":2010,"keywords":["dblp"],"dataSources":["sjwHXeqZidkB6GRgD"]}