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

by H Comon-Lundh, S Delaune
Venue:In Proceedings of the 16th International Conference on Rewriting Techniques and Applications (RTA’05), volume 3467 of LNCS