@article{WangZhou2001,
  author    = {Wang, Kewen and Zhou, Lizhu},
  title     = {An extension to GCWA and query evaluation for disjunctive deductive databases},
  year      = {2001},
  language  = {en}
}
@article{WangZhouLin2000,
  author    = {Wang, Kewen and Zhou, Lizhu and Lin, Fangzhen},
  title     = {Alternating fixpoint theory for logic programs with priority},
  isbn      = {3-540-67797-6},
  year      = {2000},
  language  = {en}
}