TY  - RPRT
TI  - A Symbolic Finite-state approach for Automated Proving of Theorems in Combinatorial Game Theory
AU  - Thotsaporn ``Aek'' Thanatipanonda
AU  - Doron Zeilberger
PY  - 2007
UR  - https://arxiv.org/abs/0710.4951
ID  - 0710.4951
ER  -