Conditional rewrite rules (1984)

by S Kaplan
Venue:Theor. Comput. Sci