TY  - JOUR
A1  - Wang, Kewen
T1  - Argumentation-based abduction in disjunctive logic programming
Y1  - 2000
ER  - 
TY  - JOUR
A1  - Wang, Kewen
A1  - Zhou, Lizhu
A1  - Lin, Fangzhen
T1  - Alternating fixpoint theory for logic programs with priority
Y1  - 2000
SN  - 3-540-67797-6
ER  -