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