@article{Huet197527,
    Author = {Huet, G.P.},
    File = {A unification algorithm for typed Î»-calculus - Huet (0) (0) - a - a - f.pdf},
    ISSN = {0304-3975},
    Journal = {Theoretical Computer Science},
    Keywords = {higher-order unification and lambda calculus},
    Number = {1},
    Pages = {27 - 57},
    Title = {A unification algorithm for typed {\^I}»-calculus},
    URL = {http://www.sciencedirect.com/science/article/pii/0304397575900110},
    Volume = {1},
    Year = {1975},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/0304397575900110},
    bdsk-url-2 = {http://dx.doi.org/10.1016/0304-3975(75)90011-0},
    date-added = {2013-02-19 17:20:19 +0000},
    date-modified = {2013-02-19 17:20:35 +0000},
    doi = {10.1016/0304-3975(75)90011-0}
}

@article{Huet197527, Author = {Huet, G.P.}, File = {A unification algorithm for typed Î»-calculus - Huet (0) (0) - a - a - f.pdf}, ISSN = {0304-3975}, Journal = {Theoretical Computer Science}, Keywords = {higher-order unification and lambda calculus}, Number = {1}, Pages = {27 - 57}, Title = {A unification algorithm for typed {\^I}»-calculus}, URL = {http://www.sciencedirect.com/science/article/pii/0304397575900110}, Volume = {1}, Year = {1975}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/0304397575900110}, bdsk-url-2 = {http://dx.doi.org/10.1016/0304-3975(75)90011-0}, date-added = {2013-02-19 17:20:19 +0000}, date-modified = {2013-02-19 17:20:35 +0000}, doi = {10.1016/0304-3975(75)90011-0} }