R. Russell and S. Holden, “Handling Goal Utility Dependencies in a Satisfiability Framework”, ICAPS, vol. 20, no. 1, pp. 145-152, May 2021.