This work was done in 2005. The author's paper "Formal verification of chess endgame databases" is available at http://gilith.com/research/papers/chess.pdf http

This work was done in 2005. The author's paper "Formal verification of chess endgame databases" is available at http://gilith.com/research/papers/chess.pdf http://gilith.com/research/papers/chess.pdf