A simple formalization and proof for the mutilated chess board /
Paulson, Lawrence C.
University of Cambridge.Computer Laboratory.
Cambridge : University of Cambridge, Computer Laboratory,
1996.