Deepak Kapur, Mahadevan Subramaniam. Using an induction prover for verifying arithmetic circuits. STTT, 3(1):32-65, 2000. [doi]
@article{KapurS00:0, title = {Using an induction prover for verifying arithmetic circuits}, author = {Deepak Kapur and Mahadevan Subramaniam}, year = {2000}, url = {http://link.springer.de/link/service/journals/10009/bibs/0003001/00030032.htm}, researchr = {https://researchr.org/publication/KapurS00%3A0}, cites = {0}, citedby = {0}, journal = {STTT}, volume = {3}, number = {1}, pages = {32-65}, }