B Gramlich - Electronic Notes in Theoretical Computer Science, 2005 - Elsevier
(Automated) Inductive Theorem Proving (ITP) is a challenging field in automated reasoning
and theorem proving. Typically,(Automated) Theorem Proving (TP) refers to methods …