DMCA

Induction Proofs by Program Transformations Unfold/fold Transformations

by Abhik Roychoudhury