A Semantic Notion of Interference for Planning Modulo Theories | Publicación