@incollection{375145,
  author = {Armando, Alessandro and Ranise, Silvio and Zini, Daniele},
  title = {Integration of automated reasoners (poster session): a progress report},
  booktitle = {Symbolic Computation and Automated Reasoning},
  editor = {Manfred Kerber and Michael Kohlhase},
  year = {2001},
  isbn = {1-56881-145-4},
  pages = {237--238},
  publisher = {A. K. Peters, Ltd.},
  address = {Natick, MA, USA}
}

{"_id":"eu7w4S2BvGZQ6iBuz","bibbaseid":"armando-ranise-zini-integrationofautomatedreasonerspostersessionaprogressreport-2001","downloads":0,"creationDate":"2016-08-26T10:17:26.149Z","title":"Integration of automated reasoners (poster session): a progress report","author_short":["Armando, A.","Ranise, S.","Zini, D."],"year":2001,"bibtype":"incollection","biburl":"http://ec2-52-59-247-135.eu-central-1.compute.amazonaws.com/ai.bib","bibdata":{"bibtype":"incollection","type":"incollection","author":[{"propositions":[],"lastnames":["Armando"],"firstnames":["Alessandro"],"suffixes":[]},{"propositions":[],"lastnames":["Ranise"],"firstnames":["Silvio"],"suffixes":[]},{"propositions":[],"lastnames":["Zini"],"firstnames":["Daniele"],"suffixes":[]}],"title":"Integration of automated reasoners (poster session): a progress report","booktitle":"Symbolic Computation and Automated Reasoning","editor":[{"firstnames":["Manfred"],"propositions":[],"lastnames":["Kerber"],"suffixes":[]},{"firstnames":["Michael"],"propositions":[],"lastnames":["Kohlhase"],"suffixes":[]}],"year":"2001","isbn":"1-56881-145-4","pages":"237--238","publisher":"A. K. Peters, Ltd.","address":"Natick, MA, USA","bibtex":"@incollection{375145,\n author = {Armando, Alessandro and Ranise, Silvio and Zini, Daniele},\n title = {Integration of automated reasoners (poster session): a progress report},\n booktitle = {Symbolic Computation and Automated Reasoning},\n editor = {Manfred Kerber and Michael Kohlhase},\n year = {2001},\n isbn = {1-56881-145-4},\n pages = {237--238},\n publisher = {A. K. Peters, Ltd.},\n address = {Natick, MA, USA}\n}\n\n","author_short":["Armando, A.","Ranise, S.","Zini, D."],"editor_short":["Kerber, M.","Kohlhase, M."],"key":"375145","id":"375145","bibbaseid":"armando-ranise-zini-integrationofautomatedreasonerspostersessionaprogressreport-2001","role":"author","urls":{},"downloads":0},"search_terms":["integration","automated","reasoners","poster","session","progress","report","armando","ranise","zini"],"keywords":[],"authorIDs":["57c00ade5abfdd4d540000c7"],"dataSources":["sjwHXeqZidkB6GRgD"]}