@inproceedings{Armando2008,
  author = {Armando, Alessandro and Baumgartner, Peter and Dowek, Gilles},
  title = {Preface},
  booktitle = {4th International Joint Conference on Automated Reasoning (IJCAR)},
  year = {2008},
  volume = {5195 LNAI},
  isbn = {978-3-540-71069-1, 978-3-540-71070-7},
  doi = {10.1007/978-3-540-71070-7},
  document_type = {Editorial},
  labs = {ai}
}

{"_id":"eE4zWRXxH4oo3Pn9Z","bibbaseid":"armando-baumgartner-dowek-preface-2008","downloads":0,"creationDate":"2016-08-26T10:17:26.581Z","title":"Preface","author_short":["Armando, A.","Baumgartner, P.","Dowek, G."],"year":2008,"bibtype":"inproceedings","biburl":"http://ec2-52-59-247-135.eu-central-1.compute.amazonaws.com/ai.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Armando"],"firstnames":["Alessandro"],"suffixes":[]},{"propositions":[],"lastnames":["Baumgartner"],"firstnames":["Peter"],"suffixes":[]},{"propositions":[],"lastnames":["Dowek"],"firstnames":["Gilles"],"suffixes":[]}],"title":"Preface","booktitle":"4th International Joint Conference on Automated Reasoning (IJCAR)","year":"2008","volume":"5195 LNAI","isbn":"978-3-540-71069-1, 978-3-540-71070-7","doi":"10.1007/978-3-540-71070-7","document_type":"Editorial","labs":"ai","bibtex":"@inproceedings{Armando2008,\n author = {Armando, Alessandro and Baumgartner, Peter and Dowek, Gilles},\n title = {Preface},\n booktitle = {4th International Joint Conference on Automated Reasoning (IJCAR)},\n year = {2008},\n volume = {5195 LNAI},\n isbn = {978-3-540-71069-1, 978-3-540-71070-7},\n doi = {10.1007/978-3-540-71070-7},\n document_type = {Editorial},\n labs = {ai}\n}\n\n","author_short":["Armando, A.","Baumgartner, P.","Dowek, G."],"key":"Armando2008","id":"Armando2008","bibbaseid":"armando-baumgartner-dowek-preface-2008","role":"author","urls":{},"downloads":0},"search_terms":["preface","armando","baumgartner","dowek"],"keywords":[],"authorIDs":["57c00ade5abfdd4d540000c7"],"dataSources":["sjwHXeqZidkB6GRgD"]}