TY - RPRT TI - Contextual hypotheses and semantics of logic programs AU - Éric A. Martin PY - 2011 UR - https://arxiv.org/abs/0901.0733 ID - 0901.0733 ER -