@inproceedings{stratulat:hal-00763236, TITLE = {{A Unified View of Induction Reasoning for First-Order Logic}}, AUTHOR = {Stratulat, Sorin}, URL = {https://inria.hal.science/hal-00763236}, BOOKTITLE = {{Turing-100, The Alan Turing Centenary Conference}}, ADDRESS = {Manchester, United Kingdom}, YEAR = {2012}, MONTH = Jun, PDF = {https://inria.hal.science/hal-00763236/file/document-poster.pdf}, HAL_ID = {hal-00763236}, HAL_VERSION = {v1}, }