Lutz Straßburger
A Characterization of Medial as Rewriting Rule
RTA, 2007.
@inproceedings{RTA-2007-Strassburger, author = "Lutz Straßburger", booktitle = "{Proceedings of the 18th International Conference on Term Rewriting and Applications}", doi = "10.1007/978-3-540-73449-9_26", editor = "Franz Baader", isbn = "978-3-540-73447-5", pages = "344--358", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{A Characterization of Medial as Rewriting Rule}", volume = 4533, year = 2007, }