Interaction with the Boyer-Moore Theorem Prover: A Tutorial Study Using the Arithmetic-Geometric Mean Theorem.

Matt Kaufmann Paolo Pecchiari Interaction with the Boyer-Moore Theorem Prover: A Tutorial Study Using the Arithmetic-Geometric Mean Theorem. 181-222 1996 16 J. Autom. Reasoning 1-2 db/journals/jar/jar16.html#KaufmannP96