Decision Procedures for Proving Inductive Theorems without Induction.

Takahito Aoto, Sorin Stratulat

Browse the full PPDP paper archive.