Discovering inductive theorems using rewriting induction.

Haruhiko Sato, Masahito Kurihara

Browse the full SMC paper archive.