@article{DBLP:journals/tcs/AcetoG99, author = {Luca Aceto and Jan Friso Groote}, title = {A Complete Equational Axiomatization for {MPA} with String Iteration}, journal = {Theor. Comput. Sci.}, volume = {211}, number = {1-2}, pages = {339--374}, year = {1999}, url = {https://doi.org/10.1016/S0304-3975(97)00182-5}, doi = {10.1016/S0304-3975(97)00182-5}, timestamp = {Sun, 28 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/bib/journals/tcs/AcetoG99}, bibsource = {dblp computer science bibliography, https://dblp.org} }