Matt Kaufmann, Paolo Pecchiari. Interaction with the Boyer-Moore Theorem Prover: A Tutorial Study Using the Arithmetic-Geometric Mean Theorem. Journal of Automated Reasoning, 16(1-2):181-222, 1996.
@article{KaufmannP96,
title = {Interaction with the Boyer-Moore Theorem Prover: A Tutorial Study Using the Arithmetic-Geometric Mean Theorem},
author = {Matt Kaufmann and Paolo Pecchiari},
year = {1996},
researchr = {https://researchr.org/publication/KaufmannP96},
cites = {0},
citedby = {0},
journal = {Journal of Automated Reasoning},
volume = {16},
number = {1-2},
pages = {181-222},
}