TY  - JOUR
A1  - Wang, Kewen
A1  - Zhou, Lizhu
T1  - An extension to GCWA and query evaluation for disjunctive deductive databases
Y1  - 2001
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  -