author = {W. Windsteiger},
title = {{On a Solution of the Mutilated Checkerboard Problem using the Theorema Set Theory Prover}},
language = {english},
year = {2001},
month = {June 21},
note = {Contributed talk at Calculemus'2001, Siena, Italy},
conferencename = {Calculemus'2001, Siena, Italy}