Bofill, Miquel, Joan Espasa, and Mateu Villaret. 2016. “A Semantic Notion of Interference for Planning Modulo Theories”. Proceedings of the International Conference on Automated Planning and Scheduling 26 (1):56-64. https://doi.org/10.1609/icaps.v26i1.13734.