@Article{HM98,
    Author       = "Huang, G. and Myers, D.",
    Year         = "1998",
    Title        = "{Subgoal Strategies for Solving Board Puzzles}",
    Journal      = "Journal of Automated Reasoning",
    Volume       = "20",
    Number       = "3",
    Pages        = "215-253",
    Comment      = "TPTPRef"
}