Decidable first-order theories of one-step rewriting in trace monoids

Authors: 
Kuske, D.
Lohrey, M.
Year: 
2005
Appeared / Erschienen in: 
Theory of Computing Systems 38 (2005), 39-81.