Sorin Stratulat. A Unified View of Induction Reasoning for First-Order Logic. In Andrei Voronkov, editor, Turing-100 - The Alan Turing Centenary, Manchester, UK, June 22-25, 2012. Volume 10 of EPiC Series, pages 326-352, EasyChair, 2012. [doi]
Abstract is missing.