@inproceedings{conf/epia/PereiraP05,
  added-at = {2019-06-02T00:00:00.000+0200},
  author = {Pereira, Luís Moniz and Pinto, Alexandre Miguel},
  biburl = {https://www.bibsonomy.org/bibtex/2488f994867d50dc140581ea8cf2ca015/dblp},
  booktitle = {EPIA},
  crossref = {conf/epia/2005},
  editor = {Bento, Carlos and Cardoso, Amílcar and Dias, Gaël},
  ee = {https://www.wikidata.org/entity/Q62038966},
  interhash = {2a958bd2397cb202cd495173548f32d0},
  intrahash = {488f994867d50dc140581ea8cf2ca015},
  isbn = {3-540-30737-0},
  keywords = {dblp},
  pages = {29-42},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {2019-06-04T14:22:36.000+0200},
  title = {Revised Stable Models - A Semantics for Logic Programs.},
  url = {http://dblp.uni-trier.de/db/conf/epia/epia2005.html#PereiraP05},
  volume = 3808,
  year = 2005
}

{"_id":"btjfRaqBGuG5oFerj","bibbaseid":"pereira-pinto-revisedstablemodelsasemanticsforlogicprograms-2005","authorIDs":[],"author_short":["Pereira, L. M.","Pinto, A. M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2019-06-02T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Pereira"],"firstnames":["Luís","Moniz"],"suffixes":[]},{"propositions":[],"lastnames":["Pinto"],"firstnames":["Alexandre","Miguel"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/2488f994867d50dc140581ea8cf2ca015/dblp","booktitle":"EPIA","crossref":"conf/epia/2005","editor":[{"propositions":[],"lastnames":["Bento"],"firstnames":["Carlos"],"suffixes":[]},{"propositions":[],"lastnames":["Cardoso"],"firstnames":["Amílcar"],"suffixes":[]},{"propositions":[],"lastnames":["Dias"],"firstnames":["Gaël"],"suffixes":[]}],"ee":"https://www.wikidata.org/entity/Q62038966","interhash":"2a958bd2397cb202cd495173548f32d0","intrahash":"488f994867d50dc140581ea8cf2ca015","isbn":"3-540-30737-0","keywords":"dblp","pages":"29-42","publisher":"Springer","series":"Lecture Notes in Computer Science","timestamp":"2019-06-04T14:22:36.000+0200","title":"Revised Stable Models - A Semantics for Logic Programs.","url":"http://dblp.uni-trier.de/db/conf/epia/epia2005.html#PereiraP05","volume":"3808","year":"2005","bibtex":"@inproceedings{conf/epia/PereiraP05,\n added-at = {2019-06-02T00:00:00.000+0200},\n author = {Pereira, Luís Moniz and Pinto, Alexandre Miguel},\n biburl = {https://www.bibsonomy.org/bibtex/2488f994867d50dc140581ea8cf2ca015/dblp},\n booktitle = {EPIA},\n crossref = {conf/epia/2005},\n editor = {Bento, Carlos and Cardoso, Amílcar and Dias, Gaël},\n ee = {https://www.wikidata.org/entity/Q62038966},\n interhash = {2a958bd2397cb202cd495173548f32d0},\n intrahash = {488f994867d50dc140581ea8cf2ca015},\n isbn = {3-540-30737-0},\n keywords = {dblp},\n pages = {29-42},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n timestamp = {2019-06-04T14:22:36.000+0200},\n title = {Revised Stable Models - A Semantics for Logic Programs.},\n url = {http://dblp.uni-trier.de/db/conf/epia/epia2005.html#PereiraP05},\n volume = 3808,\n year = 2005\n}\n\n","author_short":["Pereira, L. M.","Pinto, A. M."],"editor_short":["Bento, C.","Cardoso, A.","Dias, G."],"key":"conf/epia/PereiraP05","id":"conf/epia/PereiraP05","bibbaseid":"pereira-pinto-revisedstablemodelsasemanticsforlogicprograms-2005","role":"author","urls":{"Link":"https://www.wikidata.org/entity/Q62038966","Paper":"http://dblp.uni-trier.de/db/conf/epia/epia2005.html#PereiraP05"},"keyword":["dblp"],"downloads":0},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/luis?items=1000","creationDate":"2019-06-11T10:58:16.243Z","downloads":0,"keywords":["dblp"],"search_terms":["revised","stable","models","semantics","logic","programs","pereira","pinto"],"title":"Revised Stable Models - A Semantics for Logic Programs.","year":2005,"dataSources":["cBojyPeMQNnac3QKm"]}