@inproceedings{stratulat:hal-00644876, TITLE = {{Automated Certification of Implicit Induction Proofs}}, AUTHOR = {Stratulat, Sorin and Demange, Vincent}, URL = {https://inria.hal.science/hal-00644876}, BOOKTITLE = {{Certified Programs and Proofs}}, ADDRESS = {Kenting, Taiwan}, YEAR = {2011}, MONTH = Dec, PDF = {https://inria.hal.science/hal-00644876/file/document.pdf}, HAL_ID = {hal-00644876}, HAL_VERSION = {v1}, }