%0 Journal Article %A Lambert, J. L. %T The local catenativity of DOL-sequences in free commutative monoids is decidable in the binary case %J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications %D 1992 %P 425-437 %V 26 %N 5 %I EDP-Sciences %U http://www.numdam.org/item/ITA_1992__26_5_425_0/ %G en %F ITA_1992__26_5_425_0