The local catenativity of DOL-sequences in free commutative monoids is decidable in the binary case J. L. Lambert — 1992 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications