A decision procedure on partially commutative free monoids. - Aldo de Luca; Antonio Massarotti (Discret. Appl. Math., 1986)