Christoph Koutschan,
"Eliminating Human Insight: An Algorithmic Proof of Stembridge's TSPP Theorem"
, in Tewodros Amdeberhan and Luis A. Medina and Victor H. Moll: Gems in Experimental Mathematics, Serie Contemporary Mathematics, Vol. 517, American Mathematical Society, Seite(n) 219-230, 2010
Original Titel:
Eliminating Human Insight: An Algorithmic Proof of Stembridge's TSPP Theorem