Computer experiments with the reve term rewriting system gnerator (1983)

by P Lescanne
Venue:In Proceedings of the 10th Symposium on Principles of Programming Languages