Using an Induction Prover for Verifying Arithmetic Circuits
Proc. J. of Software Tools for Technology Transfer , 1996.
Springer Verlag, Vol. 3(1), Sep. 2000, 32-65.
Deepak Kapur and Mahadevan Subramaniam

To get a copy of this article, please send email to or write to

Department of Computer Science
University of New Mexico
Albuquerque, NM 87131