1. Mechanizing structural induction II: strategies;Aubin;Theor. Comput. Sci.,1979
2. A Computational Logic;Boyer,1979
3. How to facilitate the proof of theorems by using induction-matching and by generalization;Castaing,1985
4. Program transformation by templates based on term rewriting;Chiba,2005
5. Automating inductive proofs using theory exploration;Claessen,2013