Computer Experiments with the Reve Term Rewriting System Generator.

Pierre Lescanne

Browse the full POPL paper archive.