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