Quotient Space Based Problem Solving - Zhang; Zhang, Bo; Zhang, Ling (Morgan Kaufmann, 2014)