@comment{{This file has been generated by bib2bib 1.96}}

@comment{{Command line: /usr/bin/bib2bib -c '$key="stirling06icalp" or $key="Schubert:tapsoft97" or $key="Huet:these" or $key="comon:csl97" or $key="Vorobyov:lics97" or $key="Wierzbicki:cade99" or $key="Dowek:apal93" or $key="deGroote:rta00" or $key="Padovani:these" or 1=2' ../biblio/abbrevs.bib ../biblio/rtaloop.bib ../biblio/crossrefs.bib}}

@string{ieee = {IEEE}}

@string{springer = {Springer-Verlag}}

@string{lncs = {Lecture Notes in Computer Science}}

@string{lnai = {Lecture Notes in Artificial Intelligence}}

@inproceedings{comon:csl97,
  author = {Hubert Comon and Yan Jurski},
  title = {Higher-order matching and tree automata},
  crossref = {csl97},
  pages = {157--176}
}

@phdthesis{Huet:these,
  author = {G{\'e}rard Huet},
  title = {R\'esolution d'\'equations dans les langages d'ordre
		$1,2,\ldots,\omega$},
  type = {Th\`ese d'\'Etat},
  school = {Universit\'e Paris 7},
  address = {Paris, France},
  year = 1976
}

@article{Dowek:apal93,
  author = {Gilles Dowek},
  title = {Third Order Matching Is Decidable},
  journal = {Annals of Pure and Applied Logic},
  year = 1993
}

@phdthesis{Padovani:these,
  author = {Vincent Padovani},
  title = {Filtrage d'ordre sup\'erieure},
  type = {PhD Thesis},
  school = {Universit\'e de Paris 7},
  address = {Paris, France},
  year = 1996
}

@inproceedings{deGroote:rta00,
  author = {Philippe de Groote},
  title = {Linear Higher-Order Matching is {NP}-Complete},
  crossref = {rta00},
  pages = {127--140}
}

@inproceedings{Wierzbicki:cade99,
  author = {Tomasz Wierzbicki},
  title = {Complexity of the Higher-Order Matching},
  crossref = {cade99},
  pages = {82--96}
}

@inproceedings{Vorobyov:lics97,
  author = {Sergei Vorobyov},
  title = {The "Hardest" Natural Decidable Theory},
  crossref = {lics97},
  pages = {294--305}
}

@inproceedings{Schubert:tapsoft97,
  author = {Aleksy Schubert},
  title = {Linear Interpolation for the Higher-Order Matching Problem},
  crossref = {tapsoft97},
  pages = {441--452}
}

@inproceedings{stirling06icalp,
  author = {Colin Stirling},
  title = {A Game-Theoretic Approach to Deciding Higher-Order Matching.},
  crossref = {icalp06-2},
  pages = {348-359}
}

@string{lics = {Symposium on Logic in Computer Science}}

@proceedings{cade99,
  booktitle = {16th International Conference on Automated Deduction},
  title = {16th International Conference on Automated Deduction},
  address = {Trento, Italy},
  month = jul,
  year = 1999,
  editor = {Harald Ganzinger},
  publisher = springer,
  series = lnai,
  volume = 1632
}

@proceedings{csl97,
  booktitle = {Proceedings of the Conference on Computer Science Logic},
  editor = {M. Nielsen and Wolfgang Thomas},
  yea = 1997,
  publisher = springer,
  series = lncs,
  volume = 1414,
  address = {Aarhus, Denmark},
  year = 1997,
  month = aug
}

@proceedings{icalp06-2,
  editor = {Michele Bugliesi and
               Bart Preneel and
               Vladimiro Sassone and
               Ingo Wegener},
  title = {Automata, Languages and Programming, 33rd International
               Colloquium, Part II},
  booktitle = {ICALP (2)},
  publisher = springer,
  series = lncs,
  volume = {4052},
  year = {2006},
  month = jul,
  address = {Venice, Italy},
  isbn = {3-540-35907-9}
}

@proceedings{lics97,
  booktitle = {Twelfth } # lics,
  title = {Twelfth } # lics,
  editor = {Glynn Winskel},
  year = 1997,
  month = jun,
  address = {Warsaw, Poland},
  organization = ieee
}

@proceedings{rta00,
  booktitle = {Rewriting Techniques and Applications},
  title = {Rewriting Techniques and Applications},
  editor = {Leo Bachmair},
  publisher = springer,
  series = lncs,
  volume = 1833,
  month = jul,
  year = 2000,
  address = {Norwich, UK}
}

@proceedings{tapsoft97,
  booktitle = {Theory and Practice of Software Development},
  title = {Theory and Practice of Software Development},
  editor = {Michel Bidoit and Max Dauchet},
  year = 1997,
  month = apr,
  address = {Lille, France},
  series = lncs,
  volume = {1214},
  publisher = springer
}