Confluence and decidability of fijtop reduction (1993)

by P-L Curien, G Ghelli
Venue:in F . Information and Computation