@inproceedings{conf/dexa/LeoneRS96,
  added-at = {2009-10-05T00:00:00.000+0200},
  author = {Leone, Nicola and Rullo, Pasquale and Scarcello, Francesco},
  biburl = {http://www.bibsonomy.org/bibtex/250b6425f3cbca157305ef6479c77f854/dblp},
  booktitle = {DEXA},
  crossref = {conf/dexa/1996},
  date = {2009-10-05},
  description = {dblp},
  editor = {Wagner, Roland and Thoma, Helmut},
  ee = {http://dx.doi.org/10.1007/BFb0034719},
  interhash = {6ffae5465045e1e17e048ca3dd078fb5},
  intrahash = {50b6425f3cbca157305ef6479c77f854},
  isbn = {3-540-61656-X},
  keywords = {dblp},
  pages = {654-666},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {2009-10-05T00:00:00.000+0200},
  title = {On the Computation of Disjunctive Stable Models.},
  url = {http://dblp.uni-trier.de/db/conf/dexa/dexa96.html#LeoneRS96},
  volume = 1134,
  year = 1996
}