The local catenativity of DOL-sequences in free communitative monoids is decidable in the binary case

Jean-Luc Lambert. The local catenativity of DOL-sequences in free communitative monoids is decidable in the binary case. ITA, 26:425-438, 1992.