TY - RPRT TI - Preferred well-founded semantics for logic programming by alternating fixpoints: Preliminary report AU - Torsten Schaub AU - Kewen Wang PY - 2002 UR - https://arxiv.org/abs/cs/0207060 ID - cs/0207060 ER -