@incollection{dowek:handbook:2001,
    Address = {Amsterdam},
    Author = {Dowek, Gilles},
    BookTitle = {Handbook of Automated Reasoning},
    Editor = {Robinson, Alan and Voronkov, Andrei},
    File = {Higher-Order Unification and Matching - Dowek - a - a - l.pdf},
    ISBN = {978-0-444-50813-3},
    Keywords = {higher-order unification and higher-order matching and type theory and lambda calculus},
    Pages = {1009 - 1062},
    Publisher = {North-Holland},
    Title = {Higher-Order Unification and Matching},
    URL = {http://www.sciencedirect.com/science/article/pii/B9780444508133500187},
    Year = {2001},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/B9780444508133500187},
    bdsk-url-2 = {http://dx.doi.org/10.1016/B978-044450813-3/50018-7},
    date-added = {2013-02-18 23:09:57 +0000},
    date-modified = {2013-02-18 23:10:18 +0000},
    doi = {10.1016/B978-044450813-3/50018-7}
}

@incollection{dowek:handbook:2001, Address = {Amsterdam}, Author = {Dowek, Gilles}, BookTitle = {Handbook of Automated Reasoning}, Editor = {Robinson, Alan and Voronkov, Andrei}, File = {Higher-Order Unification and Matching - Dowek - a - a - l.pdf}, ISBN = {978-0-444-50813-3}, Keywords = {higher-order unification and higher-order matching and type theory and lambda calculus}, Pages = {1009 - 1062}, Publisher = {North-Holland}, Title = {Higher-Order Unification and Matching}, URL = {http://www.sciencedirect.com/science/article/pii/B9780444508133500187}, Year = {2001}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/B9780444508133500187}, bdsk-url-2 = {http://dx.doi.org/10.1016/B978-044450813-3/50018-7}, date-added = {2013-02-18 23:09:57 +0000}, date-modified = {2013-02-18 23:10:18 +0000}, doi = {10.1016/B978-044450813-3/50018-7} }