Guoxiang Huang Dale Myers Subgoal Strategies for Solving Board Puzzles. 215-253 1998 20 J. Autom. Reasoning 3 db/journals/jar/jar20.html#HuangM98