Conditional Rewrite Rules, Theoretical Computer Science 33 (1984)

by S Kaplan