Strong Sequentiality of Left-Linear Overlapping Rewrite Systems. - Jean-Pierre Jouannaud; Walid Sadfi (CTRS, 1994)