"Minesweeper" without a computer - Oleg German; Evgeny Lakshtanov (CoRR, 2008)