TY  - RPRT
TI  - Revitalized automatic proofs: demonstrations
AU  - Tewodros Amdeberhan
AU  - David Callan
AU  - Hideyuki Ohtsuka
AU  - Roberto Tauraso
PY  - 2016
UR  - https://arxiv.org/abs/1610.09737
ID  - 1610.09737
ER  -