@inproceedings{Ketema:2009:CBT:1574635.1574652,
    Address = {Berlin, Heidelberg},
    Author = {Ketema, Jeroen},
    BookTitle = {Proceedings of the 20th International Conference on Rewriting Techniques and Applications},
    File = {Comparing Boehm-Like Trees - Ketema (0) (0) - a - a - f.pdf},
    ISBN = {978-3-642-02347-7},
    Keywords = {lambda calculus},
    Location = {Bras\&\\#237;lia, Brazil},
    Pages = {239--254},
    Publisher = {Springer-Verlag},
    Series = {RTA '09},
    Title = {Comparing Boehm-Like Trees},
    URL = {http://dx.doi.org/10.1007/978-3-642-02348-4\_17},
    Year = {2009},
    acmid = {1574652},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-02348-4\_17},
    date-added = {2013-04-16 15:37:31 +0000},
    date-modified = {2013-04-16 15:38:03 +0000},
    numpages = {16},
    doi = {10.1007/978-3-642-02348-4_17}
}

@inproceedings{Ketema:2009:CBT:1574635.1574652, Address = {Berlin, Heidelberg}, Author = {Ketema, Jeroen}, BookTitle = {Proceedings of the 20th International Conference on Rewriting Techniques and Applications}, File = {Comparing Boehm-Like Trees - Ketema (0) (0) - a - a - f.pdf}, ISBN = {978-3-642-02347-7}, Keywords = {lambda calculus}, Location = {Bras\&\#237;lia, Brazil}, Pages = {239--254}, Publisher = {Springer-Verlag}, Series = {RTA '09}, Title = {Comparing Boehm-Like Trees}, URL = {http://dx.doi.org/10.1007/978-3-642-02348-4_17}, Year = {2009}, acmid = {1574652}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-02348-4_17}, date-added = {2013-04-16 15:37:31 +0000}, date-modified = {2013-04-16 15:38:03 +0000}, numpages = {16}, doi = {10.1007/978-3-642-02348-4_17} }