The Mate-in-n Problem of Infinite Chess Is Decidable.

Dan Brumleve, Joel David Hamkins, Philipp Schlicht

Browse the full CiE paper archive.