jdh.hamkins.org
The mate-in-n problem of infinite chess is decidable
[bibtex key=BrumleveHamkinsSchlicht2012:TheMateInNProblemOfInfiniteChessIsDecidable]