@article{fernandez_mackie_sinot_2005,
    Author = {FERN{\'A}NDEZ, M. and MACKIE, I. and SINOT, F-R.},
    Journal = {Mathematical Structures in Computer Science},
    Number = {2},
    Pages = {343--381},
    Publisher = {Cambridge University Press},
    Title = {Closed reduction: explicit substitutions without $\alpha$-conversion},
    Volume = {15},
    Year = {2005},
    bdsk-url-1 = {http://dx.doi.org/10.1017/S0960129504004633},
    date-added = {2017-04-21 13:15:05 +0000},
    date-modified = {2017-04-21 13:15:05 +0000},
    doi = {10.1017/S0960129504004633}
}

@article{fernandez_mackie_sinot_2005, Author = {FERN{\'A}NDEZ, M. and MACKIE, I. and SINOT, F-R.}, Journal = {Mathematical Structures in Computer Science}, Number = {2}, Pages = {343--381}, Publisher = {Cambridge University Press}, Title = {Closed reduction: explicit substitutions without $\alpha$-conversion}, Volume = {15}, Year = {2005}, bdsk-url-1 = {http://dx.doi.org/10.1017/S0960129504004633}, date-added = {2017-04-21 13:15:05 +0000}, date-modified = {2017-04-21 13:15:05 +0000}, doi = {10.1017/S0960129504004633} }