Bofill, M.; Espasa, J.; Villaret, M. A Semantic Notion of Interference for Planning Modulo Theories. ICAPS 2016, 26, 56-64.