M. Bofill, J. Espasa, and M. Villaret, “A Semantic Notion of Interference for Planning Modulo Theories”, ICAPS, vol. 26, no. 1, pp. 56–64, Mar. 2016.