TY - RPRT TI - Fages' Theorem and Answer Set Programming AU - Yuliya Babovich AU - Esra Erdem AU - Vladimir Lifschitz PY - 2000 UR - https://arxiv.org/abs/cs/0003042 ID - cs/0003042 ER -