@inproceedings{DBLP:conf/cade/Wang01,
title = {A Top-Down Procedure for Disjunctive Well-Founded Semantics},
author = {Wang, Kewen},
booktitle = {{IJCAR}},
pages = {305--317},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {2083},
year = {2001}
}