@proceedings{DBLP:conf/lpar/2001,
  editor    = {Robert Nieuwenhuis and
               Andrei Voronkov},
  title     = {Logic for Programming, Artificial Intelligence, and Reasoning, 8th
               International Conference, {LPAR} 2001, Havana, Cuba, December 3-7,
               2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2250},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-45653-8},
  doi       = {10.1007/3-540-45653-8},
  isbn      = {3-540-42957-3},
  timestamp = {Fri, 26 May 2017 14:09:15 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lpar/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"TAPzmZ5ogQuNFDH8f","bibbaseid":"nieuwenhuis-voronkov-logicforprogrammingartificialintelligenceandreasoning8thinternationalconferencelpar2001havanacubadecember372001proceedings-2001","downloads":0,"creationDate":"2017-02-27T14:01:07.284Z","title":"Logic for Programming, Artificial Intelligence, and Reasoning, 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings","author_short":null,"year":2001,"bibtype":"proceedings","biburl":"http://dblp.org/pid/f/EnricoFranconi.bib","bibdata":{"bibtype":"proceedings","type":"proceedings","editor":[{"firstnames":["Robert"],"propositions":[],"lastnames":["Nieuwenhuis"],"suffixes":[]},{"firstnames":["Andrei"],"propositions":[],"lastnames":["Voronkov"],"suffixes":[]}],"title":"Logic for Programming, Artificial Intelligence, and Reasoning, 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings","series":"Lecture Notes in Computer Science","volume":"2250","publisher":"Springer","year":"2001","url":"https://doi.org/10.1007/3-540-45653-8","doi":"10.1007/3-540-45653-8","isbn":"3-540-42957-3","timestamp":"Fri, 26 May 2017 14:09:15 +0200","biburl":"https://dblp.org/rec/bib/conf/lpar/2001","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@proceedings{DBLP:conf/lpar/2001,\n editor = {Robert Nieuwenhuis and\n Andrei Voronkov},\n title = {Logic for Programming, Artificial Intelligence, and Reasoning, 8th\n International Conference, {LPAR} 2001, Havana, Cuba, December 3-7,\n 2001, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {2250},\n publisher = {Springer},\n year = {2001},\n url = {https://doi.org/10.1007/3-540-45653-8},\n doi = {10.1007/3-540-45653-8},\n isbn = {3-540-42957-3},\n timestamp = {Fri, 26 May 2017 14:09:15 +0200},\n biburl = {https://dblp.org/rec/bib/conf/lpar/2001},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","editor_short":["Nieuwenhuis, R.","Voronkov, A."],"key":"DBLP:conf/lpar/2001","id":"DBLP:conf/lpar/2001","bibbaseid":"nieuwenhuis-voronkov-logicforprogrammingartificialintelligenceandreasoning8thinternationalconferencelpar2001havanacubadecember372001proceedings-2001","role":"editor","urls":{"Paper":"https://doi.org/10.1007/3-540-45653-8"},"downloads":0},"search_terms":["logic","programming","artificial","intelligence","reasoning","8th","international","conference","lpar","2001","havana","cuba","december","2001","proceedings"],"keywords":[],"authorIDs":[],"dataSources":["EP6fb9MDGtmLXKt7F"]}