@InProceedings{wang01b,
  author =	 "K. Wang",
  title =	 "A top-down procedure for disjucntive well-founded semantics",
  booktitle =	 "Proceedings of International Joint Conference on
      Automated Reasoning (IJCAR'01), LNAI 2083",
  pages =	 "305-317",
  publisher =	 springer,
  year =	 "2001"
}