Jean-Luc Lambert. The local catenativity of DOL-sequences in free communitative monoids is decidable in the binary case. ITA, 26:425-438, 1992.
@article{Lambert92, title = {The local catenativity of DOL-sequences in free communitative monoids is decidable in the binary case}, author = {Jean-Luc Lambert}, year = {1992}, researchr = {https://researchr.org/publication/Lambert92}, cites = {0}, citedby = {0}, journal = {ITA}, volume = {26}, pages = {425-438}, }