TY - RPRT TI - First-Order Modular Logic Programs and their Conservative Extensions AU - Amelia Harrison AU - Yuliya Lierler PY - 2017 UR - https://arxiv.org/abs/1608.02681 ID - 1608.02681 ER -