@article(nguyen05aphr, 
  author  = {Linh Anh Nguyen and Rajeev Gor{\'e}},
  title   = {Completeness of Hyper-Resolution via the Semantics of 
             Disjunctive Logic Programs},
  journal = {Information Processing Letters},
  year    = 2005,
  pages   = {363-369},
  volume  = 95,
  number  = 2)