@article{Cheney:2010:EU:1861475.1861481,
    Address = {Secaucus, NJ, USA},
    Author = {Cheney, James},
    File = {Equivariant Unification - cheney05rta (0) - a - a - d.pdf},
    ISSN = {0168-7433},
    Journal = {J. Autom. Reason.},
    Keywords = {Equivariance, Nominal logic, Nominal unification},
    Month = {October},
    Number = {3},
    Pages = {267--300},
    Publisher = {Springer-Verlag New York, Inc.},
    Title = {Equivariant Unification},
    URL = {http://dx.doi.org/10.1007/s10817-009-9164-3},
    Volume = {45},
    Year = {2010},
    acmid = {1861481},
    bdsk-url-1 = {http://dx.doi.org/10.1007/s10817-009-9164-3},
    date-added = {2019-09-12 18:37:24 +0200},
    date-modified = {2019-09-12 18:37:24 +0200},
    file-2 = {Equivariant\_Unification (0) - a - a - d.pdf},
    issue_date = {October 2010},
    numpages = {34},
    doi = {10.1007/s10817-009-9164-3}
}

@article{Cheney:2010:EU:1861475.1861481, Address = {Secaucus, NJ, USA}, Author = {Cheney, James}, File = {Equivariant Unification - cheney05rta (0) - a - a - d.pdf}, ISSN = {0168-7433}, Journal = {J. Autom. Reason.}, Keywords = {Equivariance, Nominal logic, Nominal unification}, Month = {October}, Number = {3}, Pages = {267--300}, Publisher = {Springer-Verlag New York, Inc.}, Title = {Equivariant Unification}, URL = {http://dx.doi.org/10.1007/s10817-009-9164-3}, Volume = {45}, Year = {2010}, acmid = {1861481}, bdsk-url-1 = {http://dx.doi.org/10.1007/s10817-009-9164-3}, date-added = {2019-09-12 18:37:24 +0200}, date-modified = {2019-09-12 18:37:24 +0200}, file-2 = {Equivariant_Unification (0) - a - a - d.pdf}, issue_date = {October 2010}, numpages = {34}, doi = {10.1007/s10817-009-9164-3} }