Tilbage til artikeldetaljer
Unfold/fold Transformations Preserving Termination Properties
Download
Download PDF