Reducing AC-Termination to Termination.

Maria C. F. Ferreira, Delia Kesner, Laurence Puel

Browse the full MFCS paper archive.