@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"
}