@inproceedings{dependency:stirling:09,
    Address = {Berlin, Heidelberg},
    Author = {Stirling, Colin},
    BookTitle = {Proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009},
    File = {Dependency Tree Automata - Stirling (0) (0) - a - a - o.pdf},
    ISBN = {978-3-642-00595-4},
    Keywords = {higher-order matching and tree automata and lambda calculus},
    Location = {York, UK},
    Pages = {92--106},
    Publisher = {Springer-Verlag},
    Series = {FOSSACS '09},
    Title = {Dependency Tree Automata},
    URL = {http://dx.doi.org/10.1007/978-3-642-00596-1\_8},
    Year = {2009},
    acmid = {1532859},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-00596-1\_8},
    date-added = {2013-02-19 16:42:37 +0000},
    date-modified = {2013-02-19 16:55:55 +0000},
    file-2 = {Dependency Tree Automata - Stirling (1) (0) - a - a - o.pdf},
    numpages = {15},
    doi = {10.1007/978-3-642-00596-1_8}
}

@inproceedings{dependency:stirling:09, Address = {Berlin, Heidelberg}, Author = {Stirling, Colin}, BookTitle = {Proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009}, File = {Dependency Tree Automata - Stirling (0) (0) - a - a - o.pdf}, ISBN = {978-3-642-00595-4}, Keywords = {higher-order matching and tree automata and lambda calculus}, Location = {York, UK}, Pages = {92--106}, Publisher = {Springer-Verlag}, Series = {FOSSACS '09}, Title = {Dependency Tree Automata}, URL = {http://dx.doi.org/10.1007/978-3-642-00596-1_8}, Year = {2009}, acmid = {1532859}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-00596-1_8}, date-added = {2013-02-19 16:42:37 +0000}, date-modified = {2013-02-19 16:55:55 +0000}, file-2 = {Dependency Tree Automata - Stirling (1) (0) - a - a - o.pdf}, numpages = {15}, doi = {10.1007/978-3-642-00596-1_8} }