@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},
}