Russell R, Holden S. Handling Goal Utility Dependencies in a Satisfiability Framework. ICAPS [Internet]. 2010May5 [cited 2024Nov.17];20(1):145-52. Available from: https://ojs.aaai.org/index.php/ICAPS/article/view/13401