POLLACK, R. How to Believe a Machine-Checked Proof. BRICS Report Series, v. 4, n. 18, 18 Jan. 1997.