@article{Amiot:1990,
    Author = {Amiot, Gilles},
    ISSN = {0933-5846},
    Journal = {Archive for Mathematical Logic},
    Language = {English},
    Number = {3},
    Pages = {193-199},
    Publisher = {Springer-Verlag},
    Title = {The undecidability of the second order predicate unification problem},
    URL = {http://dx.doi.org/10.1007/BF01621471},
    Volume = {30},
    Year = {1990},
    bdsk-url-1 = {http://dx.doi.org/10.1007/BF01621471},
    date-added = {2014-01-25 12:12:17 +0000},
    date-modified = {2014-01-25 12:12:17 +0000},
    doi = {10.1007/BF01621471}
}

@article{Amiot:1990, Author = {Amiot, Gilles}, ISSN = {0933-5846}, Journal = {Archive for Mathematical Logic}, Language = {English}, Number = {3}, Pages = {193-199}, Publisher = {Springer-Verlag}, Title = {The undecidability of the second order predicate unification problem}, URL = {http://dx.doi.org/10.1007/BF01621471}, Volume = {30}, Year = {1990}, bdsk-url-1 = {http://dx.doi.org/10.1007/BF01621471}, date-added = {2014-01-25 12:12:17 +0000}, date-modified = {2014-01-25 12:12:17 +0000}, doi = {10.1007/BF01621471} }