@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} }