Isabelle Fagnot On the Subword Equivalence Problem for Infinite Words. 107-118 1995 STACS db/conf/stacs/stacs95.html#Fagnot95 http://dx.doi.org/10.1007/3-540-59042-0_66