Conditional Rewrite Rules”, Theoretical Computer Science 33 (1984)

by S Kaplan