The finite variant property: How to get rid of some algebraic properties (0)

by H Comon-Lundh, S Delaune
Venue:Term Rewriting and Applications, 16th International Conference, RTA 2005