TY - RPRT TI - A lemma on closures and its application to modularity in logic programming semantics AU - Michael J. Maher PY - 2020 UR - https://arxiv.org/abs/2008.00724 ID - 2008.00724 ER -