@inproceedings{DBLP:conf/cl/WangZL00,
  author = {Wang, Kewen and Zhou, Lizhu and Lin, Fangzhen},
  title = {Alternating Fixpoint Theory for Logic Programs with Priority},
  booktitle = {Computational Logic},
  series = {Lecture Notes in Computer Science},
  volume = {1861},
  pages = {164--178},
  publisher = {Springer},
  year = {2000}
}