1. Parameter-free induction, the Matiyasevič theorem and BΣ1;Adamowicz,1987
2. Parameter free induction and reflection;Beklemishev,1997
3. Quantifier-free induction schema and the least element principle;Beklemishev;Proc. Steklov Inst. Math.,2003
4. A generic cyclic theorem prover;Brotherston,2012
5. The Karlsruhe induction theorem proving system;Biundo,1986