@inproceedings(nguyen04mpl, 
  author    = {Linh Anh Nguyen},
  title     = {The Modal Logic Programming System {MProlog}}, 
  booktitle = {Proceedings of JELIA 2004, LNCS 3229}, 
  editor    = {Jos{\'e} J{\'u}lio Alferes and
               Jo{\~a}o Alexandre Leite},
  publisher = {Springer},
  pages     = {266-278}, 
  year      = 2004)