Reduction strategies for term rewriting systems (1999)

by T Nagaya