Hubert Comon Solving Inequations in Term Algebras (Extended Abstract) conf/lics/LICS5 1990 LICS 62-69 db/conf/lics/lics90.html#Comon90