TY - RPRT TI - A Strongly Grounded Stable Model Semantics for Full Propositional Language AU - Shahab Tasharrofi PY - 2012 UR - https://arxiv.org/abs/1211.2986 ID - 1211.2986 ER -