We investigate quantifier-free induction for Lisp-like lists constructed...
The notion of clause set cycle abstracts a family of methods for automat...
We consider a typical integration of induction in saturation-based theor...
In this article we relate a family of methods for automated inductive th...