Computer experiments with the REVE term rewriting system generator (1983)

by P Lescanne
Venue:In Proc. POPL ’83