@article{nguyen08igpl,
  author    = {Linh Anh Nguyen},
  title     = {Constructing Finite Least {Kripke} Models for Positive Logic
               Programs in Serial Regular Grammar Logics},
  journal   = {Logic Journal of the {IGPL}},
  volume    = {16},
  number    = {2},
  year      = {2008},
  pages     = {175-193}
}