Model Endgame Analysis. - G. McC. Haworth; R. B. Andrist (ACG, 2003)

Deeper model endgame analysis. - R. B. Andrist; G. McC. Haworth (Theor. Comput. Sci., 2005)