Displaying similar documents to “The local catenativity of DOL-sequences in free commutative monoids is decidable in the binary case”