Russell, R.; Holden, S. Handling Goal Utility Dependencies in a Satisfiability Framework. ICAPS 2010, 20, 145-152.