Reduction Strategies for Term Rewriting Systems (1999)

by T Nagaya