@inproceedings{4276576,
    Author = {Stirling, C.},
    BookTitle = {Logic in Computer Science, 2007. LICS 2007. 22nd Annual IEEE Symposium on},
    File = {Higher-Order Matching, Games and Automata - Stirling (0) (0) - a - a - f.pdf},
    ISSN = {1043-6871},
    Keywords = {higher-order matching and tree automata},
    Month = {july},
    Pages = {326 -335},
    Title = {Higher-Order Matching, Games and Automata},
    Year = {2007},
    bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.2007.23},
    date-added = {2013-02-19 17:02:16 +0000},
    date-modified = {2013-02-19 17:06:19 +0000},
    doi = {10.1109/LICS.2007.23}
}

@inproceedings{4276576, Author = {Stirling, C.}, BookTitle = {Logic in Computer Science, 2007. LICS 2007. 22nd Annual IEEE Symposium on}, File = {Higher-Order Matching, Games and Automata - Stirling (0) (0) - a - a - f.pdf}, ISSN = {1043-6871}, Keywords = {higher-order matching and tree automata}, Month = {july}, Pages = {326 -335}, Title = {Higher-Order Matching, Games and Automata}, Year = {2007}, bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.2007.23}, date-added = {2013-02-19 17:02:16 +0000}, date-modified = {2013-02-19 17:06:19 +0000}, doi = {10.1109/LICS.2007.23} }