TY - RPRT TI - On the problem of computing the well-founded semantics AU - Zbigniew Lonc AU - Miroslaw Truszczynski PY - 2001 UR - https://arxiv.org/abs/cs/0101014 ID - cs/0101014 ER -