@article{WangZhouLin2000,
  author    = {Kewen Wang and Lizhu Zhou and Fangzhen Lin},
  title     = {Alternating fixpoint theory for logic programs with priority},
  year      = {2000},
}