Tewodros Amdeberhan, David Callan, Hideyuki Ohtsuka, Roberto Tauraso. Revitalized Automatic Proofs: Demonstrations. Integers, 17, 2017. [doi]
@article{AmdeberhanCOT17,
title = {Revitalized Automatic Proofs: Demonstrations},
author = {Tewodros Amdeberhan and David Callan and Hideyuki Ohtsuka and Roberto Tauraso},
year = {2017},
url = {http://math.colgate.edu/~integers/r16/r16.Abstract.html},
researchr = {https://researchr.org/publication/AmdeberhanCOT17},
cites = {0},
citedby = {0},
journal = {Integers},
volume = {17},
}