TY - RPRT TI - Ultimate approximations in nonmonotonic knowledge representation systems AU - Marc Denecker AU - Victor W. Marek AU - Miroslaw Truszczynski PY - 2002 UR - https://arxiv.org/abs/cs/0205014 ID - cs/0205014 ER -