Discovering inductive theorems using rewriting induction | IEEE Conference Publication | IEEE Xplore