TY - RPRT TI - Extremal problems in logic programming and stable model computation AU - Pawel Cholewinski AU - Miroslaw Truszczynski PY - 1999 UR - https://arxiv.org/abs/cs/9901012 ID - cs/9901012 ER -