TY - RPRT TI - On Elementary Loops of Logic Programs AU - Martin Gebser AU - Joohyung Lee AU - Yuliya Lierler PY - 2011 UR - https://arxiv.org/abs/1012.5847 ID - 1012.5847 ER -