TY  - JOUR
A1  - Wang, Kewen
A1  - Zhou, Lizhu
A1  - Lin, Fangzhen
T1  - Alternating fixpoint theory for logic programs with priority
Y1  - 2000
UR  - https://publishup.uni-potsdam.de/frontdoor/index/index/docId/19972
SN  - 3-540-67797-6
ER  -