@incollection{Koutschan10a,
author = {Christoph Koutschan},
title = {Eliminating human insight: an algorithmic proof of {S}tembridge's {TSPP} Theorem},
booktitle = {Gems in Experimental Mathematics},
editor = {Tewodros Amdeberhan and Luis A. Medina and Victor H. Moll},
series = {Contemporary Mathematics},
publisher = {American Mathematical Society},
volume = {517},
year = {2010},
pages = {219--230},
isbn_issn = {ISBN 978-0-8218-4869-2},
doi = {10.1090/conm/517},
}