Daniel Kirsten The Star Problem and the Finite Power Property in Trace Monoids: Reductions beyond C4. 22-36 2002 176 Inf. Comput. 1 http://dx.doi.org/10.1006/inco.2002.3152 db/journals/iandc/iandc176.html#Kirsten02