@incollection{schmidt-schauss:2003,
    Author = {Schmidt-Schau{\ss}, Manfred},
    BookTitle = {Automated Deduction -- CADE-19},
    Editor = {Baader, Franz},
    File = {Decidability of Arity-Bounded Higher-Order Matching - Schmidt-Schauß (0) (0) - a - a - t.pdf},
    ISBN = {978-3-540-40559-7},
    Keywords = {higher-order matching},
    Pages = {488-502},
    Publisher = {Springer Berlin Heidelberg},
    Series = {Lecture Notes in Computer Science},
    Title = {Decidability of Arity-Bounded Higher-Order Matching},
    URL = {http://dx.doi.org/10.1007/978-3-540-45085-6\_41},
    Volume = {2741},
    Year = {2003},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-45085-6\_41},
    date-added = {2013-11-17 13:28:15 +0000},
    date-modified = {2013-11-17 13:28:29 +0000},
    doi = {10.1007/978-3-540-45085-6_41}
}

@incollection{schmidt-schauss:2003, Author = {Schmidt-Schau{\ss}, Manfred}, BookTitle = {Automated Deduction -- CADE-19}, Editor = {Baader, Franz}, File = {Decidability of Arity-Bounded Higher-Order Matching - Schmidt-Schauß (0) (0) - a - a - t.pdf}, ISBN = {978-3-540-40559-7}, Keywords = {higher-order matching}, Pages = {488-502}, Publisher = {Springer Berlin Heidelberg}, Series = {Lecture Notes in Computer Science}, Title = {Decidability of Arity-Bounded Higher-Order Matching}, URL = {http://dx.doi.org/10.1007/978-3-540-45085-6_41}, Volume = {2741}, Year = {2003}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-45085-6_41}, date-added = {2013-11-17 13:28:15 +0000}, date-modified = {2013-11-17 13:28:29 +0000}, doi = {10.1007/978-3-540-45085-6_41} }