@article{journals/jar/AlferesPP98,
  added-at = {2019-06-02T00:00:00.000+0200},
  author = {Alferes, José Júlio and Pereira, Luís Moniz and Przymusinski, Teodor C.},
  biburl = {https://www.bibsonomy.org/bibtex/291ac503f7f219ca8c5ce41d60062d9cc/dblp},
  ee = {https://www.wikidata.org/entity/Q62039006},
  interhash = {924bf2bedec4819d85da6b5762e2921d},
  intrahash = {91ac503f7f219ca8c5ce41d60062d9cc},
  journal = {J. Autom. Reasoning},
  keywords = {dblp},
  number = 1,
  pages = {107-142},
  timestamp = {2019-06-04T12:33:35.000+0200},
  title = {'Classical' Negation in Nonmonotonic Reasoning and Logic Programming.},
  url = {http://dblp.uni-trier.de/db/journals/jar/jar20.html#AlferesPP98},
  volume = 20,
  year = 1998
}

{"_id":"k9E696PCgrGBszSxD","bibbaseid":"alferes-pereira-przymusinski-classicalnegationinnonmonotonicreasoningandlogicprogramming-1998","authorIDs":[],"author_short":["Alferes, J. J.","Pereira, L. M.","Przymusinski, T. C."],"bibdata":{"bibtype":"article","type":"article","added-at":"2019-06-02T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Alferes"],"firstnames":["José","Júlio"],"suffixes":[]},{"propositions":[],"lastnames":["Pereira"],"firstnames":["Luís","Moniz"],"suffixes":[]},{"propositions":[],"lastnames":["Przymusinski"],"firstnames":["Teodor","C."],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/291ac503f7f219ca8c5ce41d60062d9cc/dblp","ee":"https://www.wikidata.org/entity/Q62039006","interhash":"924bf2bedec4819d85da6b5762e2921d","intrahash":"91ac503f7f219ca8c5ce41d60062d9cc","journal":"J. Autom. Reasoning","keywords":"dblp","number":"1","pages":"107-142","timestamp":"2019-06-04T12:33:35.000+0200","title":"'Classical' Negation in Nonmonotonic Reasoning and Logic Programming.","url":"http://dblp.uni-trier.de/db/journals/jar/jar20.html#AlferesPP98","volume":"20","year":"1998","bibtex":"@article{journals/jar/AlferesPP98,\n added-at = {2019-06-02T00:00:00.000+0200},\n author = {Alferes, José Júlio and Pereira, Luís Moniz and Przymusinski, Teodor C.},\n biburl = {https://www.bibsonomy.org/bibtex/291ac503f7f219ca8c5ce41d60062d9cc/dblp},\n ee = {https://www.wikidata.org/entity/Q62039006},\n interhash = {924bf2bedec4819d85da6b5762e2921d},\n intrahash = {91ac503f7f219ca8c5ce41d60062d9cc},\n journal = {J. Autom. Reasoning},\n keywords = {dblp},\n number = 1,\n pages = {107-142},\n timestamp = {2019-06-04T12:33:35.000+0200},\n title = {'Classical' Negation in Nonmonotonic Reasoning and Logic Programming.},\n url = {http://dblp.uni-trier.de/db/journals/jar/jar20.html#AlferesPP98},\n volume = 20,\n year = 1998\n}\n\n","author_short":["Alferes, J. J.","Pereira, L. M.","Przymusinski, T. C."],"key":"journals/jar/AlferesPP98","id":"journals/jar/AlferesPP98","bibbaseid":"alferes-pereira-przymusinski-classicalnegationinnonmonotonicreasoningandlogicprogramming-1998","role":"author","urls":{"Link":"https://www.wikidata.org/entity/Q62039006","Paper":"http://dblp.uni-trier.de/db/journals/jar/jar20.html#AlferesPP98"},"keyword":["dblp"],"downloads":0},"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/luis?items=1000","creationDate":"2019-06-11T10:58:16.186Z","downloads":0,"keywords":["dblp"],"search_terms":["classical","negation","nonmonotonic","reasoning","logic","programming","alferes","pereira","przymusinski"],"title":"'Classical' Negation in Nonmonotonic Reasoning and Logic Programming.","year":1998,"dataSources":["cBojyPeMQNnac3QKm"]}