TY - RPRT TI - Properties of Stable Model Semantics Extensions AU - Mário Abrantes AU - Luís Moniz Pereira PY - 2014 UR - https://arxiv.org/abs/1405.3896 ID - 1405.3896 ER -