@article{Wang2001,
  author    = {Kewen Wang},
  title     = {A top-down procedure for disjucntive well-founded semantics},
  year      = {2001},
}