TY  - JOUR
A1  - Wang, Kewen
T1  - A top-down procedure for disjucntive well-founded semantics
Y1  - 2001
UR  - https://publishup.uni-potsdam.de/frontdoor/index/index/docId/18353
SN  - 3-540-42254-4
ER  -