TY - RPRT TI - Normal forms for Answer Sets Programming AU - Stefania Costantini AU - Alessandro Provetti PY - 2004 UR - https://arxiv.org/abs/cs/0410014 ID - cs/0410014 ER -