Solving inequations in term algebras (Preliminary version (1990)

by H Comon
Venue:In Fifth Ann. Symp. on Logic in Comp. Science