@inproceedings{chen-rosu-venkatesan-2003-rta, author = "Chen, Feng and Ro\c{s}u, Grigore and prasad Venkatesan, Ram", publisher = "Springer-Verlag", doi = "http://dx.doi.org/10.1007/3-540-44881-0_15", title = "Rule-Based Analysis of Dimensional Safety", series = "Lecture Notes in Computer Science (LNCS)", booktitle = "Proceedings of the 14th International Conference on Rewriting Techniques and Applications (RTA'03)", month = "June", volume = "2706", year = "2003", pages = "197-207" }