Conditional rewrite rules (1984)

by S Kaplan
Venue:Theoretical Computer Science