@article{ dblp2775438,
  title = {SLGAD Resolution for Inference on Logic Programs with Annotated Disjunctions},
  author = {Fabrizio Riguzzi},
  author_short = {Riguzzi, F.},
  bibtype = {article},
  type = {article},
  year = {2010},
  key = {dblp2775438},
  id = {dblp2775438},
  biburl = {http://www.dblp.org/rec/bibtex/journals/fuin/Riguzzi10},
  url = {http://dx.doi.org/10.3233/FI-2010-313},
  journal = {Fundam. Inform. (FUIN)},
  pages = {429-466},
  number = {3-4},
  volume = {102},
  text = {Fundam. Inform. (FUIN) 102(3-4):429-466 (2010)}
}

{"_id":"84pb8AoWL68vavbJ5","bibbaseid":"riguzzi-slgadresolutionforinferenceonlogicprogramswithannotateddisjunctions-2010","downloads":0,"creationDate":"2015-10-15T12:52:20.857Z","title":"SLGAD Resolution for Inference on Logic Programs with Annotated Disjunctions","author_short":["Riguzzi, F."],"year":2010,"bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/fuin/Riguzzi10","bibdata":{"title":"SLGAD Resolution for Inference on Logic Programs with Annotated Disjunctions","author":["Fabrizio Riguzzi"],"author_short":["Riguzzi, F."],"bibtype":"article","type":"article","year":"2010","key":"dblp2775438","id":"dblp2775438","biburl":"http://www.dblp.org/rec/bibtex/journals/fuin/Riguzzi10","url":"http://dx.doi.org/10.3233/FI-2010-313","journal":"Fundam. Inform. (FUIN)","pages":"429-466","number":"3-4","volume":"102","text":"Fundam. Inform. (FUIN) 102(3-4):429-466 (2010)","bibtex":"@article{ dblp2775438,\n title = {SLGAD Resolution for Inference on Logic Programs with Annotated Disjunctions},\n author = {Fabrizio Riguzzi},\n author_short = {Riguzzi, F.},\n bibtype = {article},\n type = {article},\n year = {2010},\n key = {dblp2775438},\n id = {dblp2775438},\n biburl = {http://www.dblp.org/rec/bibtex/journals/fuin/Riguzzi10},\n url = {http://dx.doi.org/10.3233/FI-2010-313},\n journal = {Fundam. Inform. (FUIN)},\n pages = {429-466},\n number = {3-4},\n volume = {102},\n text = {Fundam. Inform. (FUIN) 102(3-4):429-466 (2010)}\n}","bibbaseid":"riguzzi-slgadresolutionforinferenceonlogicprogramswithannotateddisjunctions-2010","role":"author","urls":{"Paper":"http://dx.doi.org/10.3233/FI-2010-313"},"downloads":0},"search_terms":["slgad","resolution","inference","logic","programs","annotated","disjunctions","riguzzi"],"keywords":[],"authorIDs":[],"dataSources":["dXMvGPNZg6XpqZfBZ"]}