@article{Cirstea200024,
    Author = {Cirstea, Horatiu and Kirchner, Claude},
    File = {The simply typed rewriting calculus - Cirstea, Kirchner (0) (0) - a - a - e.pdf},
    ISSN = {1571-0661},
    Journal = {Electronic Notes in Theoretical Computer Science},
    Keywords = {term rewriting systems and lambda calculus},
    Note = {<ce:title>The 3rd International Workshop on Rewriting Logic and its Applications</ce:title>},
    Number = {0},
    Pages = {24 - 42},
    Title = {The simply typed rewriting calculus},
    URL = {http://www.sciencedirect.com/science/article/pii/S1571066105801276},
    Volume = {36},
    Year = {2000},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S1571066105801276},
    bdsk-url-2 = {http://dx.doi.org/10.1016/S1571-0661(05)80127-6},
    date-added = {2012-10-11 07:39:50 +0000},
    date-modified = {2012-10-26 09:15:33 +0000},
    doi = {10.1016/S1571-0661(05)80127-6}
}

@article{Cirstea200024, Author = {Cirstea, Horatiu and Kirchner, Claude}, File = {The simply typed rewriting calculus - Cirstea, Kirchner (0) (0) - a - a - e.pdf}, ISSN = {1571-0661}, Journal = {Electronic Notes in Theoretical Computer Science}, Keywords = {term rewriting systems and lambda calculus}, Note = {The 3rd International Workshop on Rewriting Logic and its Applications}, Number = {0}, Pages = {24 - 42}, Title = {The simply typed rewriting calculus}, URL = {http://www.sciencedirect.com/science/article/pii/S1571066105801276}, Volume = {36}, Year = {2000}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S1571066105801276}, bdsk-url-2 = {http://dx.doi.org/10.1016/S1571-0661(05)80127-6}, date-added = {2012-10-11 07:39:50 +0000}, date-modified = {2012-10-26 09:15:33 +0000}, doi = {10.1016/S1571-0661(05)80127-6} }