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,
}











