TY  - RPRT
TI  - Eliminating Human Insight: An Algorithmic Proof of Stembridge's TSPP Theorem
AU  - Christoph Koutschan
PY  - 2009
UR  - https://arxiv.org/abs/0906.1018
ID  - 0906.1018
ER  -