author = {W. Windsteiger},
title = {{On a Solution of the Mutilated Checkerboard Problem using the Theorema Set Theory Prover}},
booktitle = {{Proceedings of the Calculemus 2001 Symposium}},
language = {english},
pages = {28--47},
isbn_issn = {?},
year = {2001},
editor = {S. Linton and R. Sebastiani},
refereed = {yes},
length = {20}