@inproceedings{TEMP:conf/cl/WangZL01,
  title = {Alternating fixpoint theory for logic programs with priority},
  author = {Wang, K. and Zhou, L. and Lin, F.},
  booktitle = {Proceedings of the First International Conference on Computational Logic},
  pages = {164--178},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {1861},
  year = {2000}
}