Bofill M, Espasa J, Villaret M. A Semantic Notion of Interference for Planning Modulo Theories. ICAPS [Internet]. 2016 Mar. 30 [cited 2026 May 13];26(1):56-64. Available from: https://ojs.aaai.org/index.php/ICAPS/article/view/13734