@article{Paulson,author={Lawrence C. Paulson},
title={A simple formalization and proof for the mutilated chess board},
journal={Logic J. of the IGPL},volume=9,number=3,year=2001}

@book{Velleman,author={Velleman},title={How to Prove it},
publisher={Cambridge University Press},year=1994}
