TY - RPRT TI - Towards a unified theory of logic programming semantics: Level mapping characterizations of selector generated models AU - Pascal Hitzler AU - Sibylle Schwarz PY - 2005 UR - https://arxiv.org/abs/cs/0511038 ID - cs/0511038 ER -