Hubert Comon Florent Jacquemard Ground Reducibility and Automata with Disequality Constraints. 151-162 1994 conf/stacs/1994 STACS db/conf/stacs/stacs94.html#ComonJ94 https://doi.org/10.1007/3-540-57785-8_138