The Mate-in-n Problem of Infinite Chess Is Decidable. - Dan Brumleve; Joel David Hamkins; Philipp Schlicht (CiE, 2012)