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 kapur@cs.unm.edu or write to


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