"On Inductive Proofs by Extended Unfold/Fold Transformation Rules."

Hirohisa Seki (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics