@article{deBruijn:Dummies:1972,
    Author = {de Bruijn, N.G},
    File = {Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem - Bruijn (1) (0) - a - a - m.pdf},
    ISSN = {1385-7258},
    Journal = {Indagationes Mathematicae},
    Number = {5},
    Pages = {381 - 392},
    Title = {Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem},
    URL = {http://www.sciencedirect.com/science/article/pii/1385725872900340},
    Volume = {75},
    Year = {1972},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/1385725872900340},
    bdsk-url-2 = {http://dx.doi.org/10.1016/1385-7258(72)90034-0},
    date-added = {2013-06-26 09:10:10 +0000},
    date-modified = {2014-05-20 12:39:09 +0000},
    file-2 = {Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem - Bruijn (0) (0) - a - a - m.pdf},
    doi = {10.1016/1385-7258(72)90034-0}
}

@article{deBruijn:Dummies:1972, Author = {de Bruijn, N.G}, File = {Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem - Bruijn (1) (0) - a - a - m.pdf}, ISSN = {1385-7258}, Journal = {Indagationes Mathematicae}, Number = {5}, Pages = {381 - 392}, Title = {Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem}, URL = {http://www.sciencedirect.com/science/article/pii/1385725872900340}, Volume = {75}, Year = {1972}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/1385725872900340}, bdsk-url-2 = {http://dx.doi.org/10.1016/1385-7258(72)90034-0}, date-added = {2013-06-26 09:10:10 +0000}, date-modified = {2014-05-20 12:39:09 +0000}, file-2 = {Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem - Bruijn (0) (0) - a - a - m.pdf}, doi = {10.1016/1385-7258(72)90034-0} }