@article(nguyen06dlpa, 
  author  = {Linh Anh Nguyen},
  title   = {Negative Ordered Hyper-Resolution as a Proof Procedure 
             for Disjunctive Logic Programming},
  journal = {Fundamenta Informaticae},
  year    = 2006,
  pages   = {351-366},
  volume  = 70,
  number  = 4)