Guoxiang Huang, Dale Myers. Subgoal Strategies for Solving Board Puzzles. Journal of Automated Reasoning, 20(3):215-253, 1998.
@article{HuangM98:0,
title = {Subgoal Strategies for Solving Board Puzzles},
author = {Guoxiang Huang and Dale Myers},
year = {1998},
researchr = {https://researchr.org/publication/HuangM98%3A0},
cites = {0},
citedby = {0},
journal = {Journal of Automated Reasoning},
volume = {20},
number = {3},
pages = {215-253},
}