Fabricio Chalub, Christiano Braga. Maude MSOS Tool. Electronic Notes in Theoretical Computer Science, 176(4):133-146, 2007. [doi]
@article{ChalubB07, title = {Maude MSOS Tool}, author = {Fabricio Chalub and Christiano Braga}, year = {2007}, doi = {10.1016/j.entcs.2007.06.012}, url = {http://dx.doi.org/10.1016/j.entcs.2007.06.012}, researchr = {https://researchr.org/publication/ChalubB07}, cites = {0}, citedby = {0}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {176}, number = {4}, pages = {133-146}, }