7 citations · 23 across the 18 of their papers we have counts for
1 paper · 1 filter
Stefan Hetzl, Jannik Vierling
In this article we relate a family of methods for automated inductive theorem proving based on cycle detection in saturation-based provers to well-known theories of induction. To t…