| @inproceedings{cj-csl97, | ||
| address = | {{\AA}rhus, Denmark}, | |
| author = | {Comon, Hubert and Jurski, Yan}, | |
| booktitle = | {{S}elected {P}apers from the 11th {I}nternational {W}orkshop on {C}omputer {S}cience {L}ogic ({CSL}'97)}, | |
| editor = | {Nielsen, Mogens and Thomas, Wolfgang}, | |
| pages = | {157-176}, | |
| publisher = | {Springer}, | |
| series = | {Lecture Notes in Computer Science}, | |
| title = | {Higher-Order Matching and Tree Automata}, | |
| url = | {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PS/CJ-csl97.ps}, | |
| volume = | {1414}, | |
| year = | {1998}, | |
| } | ||