Ground Reducibility and Automata with Disequality Constraints.

Hubert Comon, Florent Jacquemard

Browse the full STACS paper archive.