Unfold/Fold Inductive Proof: An Extension of a Folding Technique.

Rym Salem Khaled Bsaïes Unfold/Fold Inductive Proof: An Extension of a Folding Technique. 612-621 1999 conf/ieaaie/1999 IEA/AIE db/conf/ieaaie/ieaaie1999.html#SalemB99