@inproceedings{arusoaie-serbanuta-ellison-rosu-2012-wrla, author = "Arusoaie, Andrei and \c{S}erb\u{a}nu\c{t}\u{a}, Traian Florin and Ellison, Chucky and Ro\c{s}u, Grigore", publisher = "Springer", doi = "http://dx.doi.org/10.1007/978-3-642-34005-5_5", title = "Making {Maude} Definitions more Interactive", series = "LNCS", booktitle = "Proceedings of 9th International Workshop on Rewriting Logic and its Applications (WRLA'12)", month = "March", volume = "7571", year = "2012", pages = "83-98" }