Synthesis of Programs from Unfold/Fold Proofs.

Maurizio Proietti, Alberto Pettorossi

Browse the full LOPSTR paper archive.