@article(nguyen00least, 
  author  = {Linh Anh Nguyen},
  title   = {Constructing the Least Models for Positive Modal Logic Programs},
  journal = {Fundamenta Informaticae},
  year    = 2000,
  pages   = {29-60},
  volume  = 42,
  number  = 1)