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