An Integral Theorem Prover And The Role Of Proof Planning. - James D. Baker; Shariar Zand-Biglari (J. Autom. Reason., 1992)