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

@comment{{Command line: /usr/bin/bib2bib -c '$key="miller91" or $key="boudet97cp" or $key="QuianWangLNCS845" or 1=2' ../biblio/abbrevs.bib ../biblio/rtaloop.bib ../biblio/crossrefs.bib}}

@string{springer = {Springer-Verlag}}

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

@inproceedings{QuianWangLNCS845,
  author = {Zheniu Qian and Kang Wang},
  title = {Modular {AC}-Unification of Higher-Order Patterns},
  crossref = {ccl94},
  pages = {105--120}
}

@incollection{miller91,
  author = {Dale Miller},
  title = {A logic programming language with lambda-abstraction,
                  function variables, and simple unification},
  booktitle = {Extensions of Logic Programming},
  volume = {690},
  series = lncs,
  publisher = springer,
  editor = {P. Schroeder-Heister},
  year = 1991
}

@inproceedings{boudet97cp,
  author = {Alexandre Boudet and Evelyne Contejean},
  title = {{AC}-Unification of Higher-order Patterns},
  crossref = {cp97},
  url = {http://www.lri.fr/\home{contejea}/cp97.html},
  ps = {http://www.lri.fr/\home{contejea}/publis/cp97.ps.gz},
  pages = {267--281}
}

@proceedings{ccl94,
  booktitle = {First International Conference on Constraints in Computational Logics},
  title = {First International Conference on Constraints in Computational Logics},
  editor = {Jean-Pierre Jouannaud},
  address = {M{\"u}nchen, Germany},
  month = sep,
  year = 1994,
  series = lncs,
  volume = 845,
  publisher = springer
}

@proceedings{cp97,
  booktitle = {Principles and Practice of Constraint Programming},
  title = {Principles and Practice of Constraint Programming},
  year = 1997,
  editor = {Gert Smolka},
  publisher = springer,
  address = {Linz, Austria},
  month = oct,
  series = lncs,
  volume = 1330
}