@inproceedings(nguyen04dlp, 
  author    = {Linh Anh Nguyen},
  title     = {Negative Hyper-resolution as Procedural Semantics 
               of Disjunctive Logic Programs}, 
  booktitle = {Proceedings of JELIA 2004, LNCS 3229}, 
  editor    = {Jos{\'e} J{\'u}lio Alferes and
               Jo{\~a}o Alexandre Leite},
  publisher = {Springer},
  pages     = {565-577}, 
  year      = 2004)