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

@comment{{Command line: /usr/bin/bib2bib -c '$key="dalzilio-lugiez03rta" or $key="ohsaki01csl" or $key="ohsaki05lpar" or $key="ohsaki02rta" or 1=2' ../biblio/abbrevs.bib ../biblio/rtaloop.bib ../biblio/crossrefs.bib}}

@string{springer = {Springer-Verlag}}

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

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

@inproceedings{ohsaki01csl,
  author = {Hitoshi Ohsaki},
  title = {Beyond Regularity: Equational Tree Automata for Associative
            and Commutative Theories},
  crossref = {csl01},
  pages = {539-553}
}

@inproceedings{ohsaki02rta,
  author = {Hitoshi Ohsaki and Toshinori Takai},
  title = {Decidability and Closure Properties of Equational Tree Languages},
  pages = {114-128},
  crossref = {rta02}
}

@inproceedings{dalzilio-lugiez03rta,
  author = {Silvano Dal Zilio and Denis Lugiez},
  title = {{XML} Schema, Tree Logic and Sheaves Automata},
  pages = {246-263},
  crossref = {rta03}
}

@inproceedings{ohsaki05lpar,
  author = {Hitoshi Ohsaki and Jean-Marc Talbot and Sophie Tison and Yves Roos},
  title = {Monotone {AC}-Tree Automata},
  crossref = {lpar05},
  pages = {337--351}
}

@proceedings{csl01,
  booktitle = {15th International Workshop on Computer Science Logic},
  editor = {Laurent Fribourg},
  publisher = springer,
  series = lncs,
  volume = 2142,
  year = 2001,
  month = sep,
  address = {Paris, France}
}

@proceedings{lpar05,
  booktitle = {12th International Conference on Logic Programming and Automated Reasoning},
  editor = {Geoff Sutcliffe and Andrei Voronkov},
  year = 2005,
  month = dec,
  series = lnai,
  publisher = springer,
  volume = 3835,
  address = {Montego Bay, Jamaica}
}

@proceedings{rta02,
  booktitle = {Rewriting Techniques and Applications},
  title = {Rewriting Techniques and Applications},
  editor = {Sophie Tison},
  publisher = springer,
  series = lncs,
  volume = 2378,
  month = jul,
  year = 2002,
  address = {Copenhagen, Denmark}
}

@proceedings{rta03,
  title = {14th International Conference on Rewriting Techniques},
  booktitle = {14th International Conference on Rewriting Techniques},
  editor = {Robert Nieuwenhuis},
  publisher = springer,
  year = 2003,
  month = jun,
  address = {Valencia, Spain},
  series = lncs,
  volume = 2706
}