@article(nguyen03mlp, 
  author  = {Linh Anh Nguyen},
  title   = {A Fixpoint Semantics and an {SLD}-Resolution Calculus 
             for Modal Logic Programs},
  journal = {Fundamenta Informaticae},
  year    = 2003,
  pages   = {63-100},
  volume  = 55,
  number  = 1)