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

@comment{{Command line: /usr/bin/bib2bib -c '$key="Vorobyov:TreeComplexity96" or $key="M88:lics" 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}}

@inproceedings{Vorobyov:TreeComplexity96,
  author = {Sergei Vorobyov},
  title = {An Improved Lower Bound for the Elementary Theories of Trees},
  crossref = {cade96},
  pages = {275--287}
}

@inproceedings{M88:lics,
  author = {Michael J. Maher},
  title = {Complete axiomatizations of the algebras of the finite,
                        rational and infinite trees},
  pages = {348--357},
  crossref = {lics88}
}

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

@proceedings{cade96,
  booktitle = {13th International Conference on Automated Deduction},
  title = {13th International Conference on Automated Deduction},
  address = {New Brunswick, NJ},
  editor = {M. A. McRobbie and J. K. Slaney},
  year = 1996,
  month = jul # {/} # aug,
  publisher = springer,
  series = lncs
}

@proceedings{lics88,
  booktitle = {Third } # lics,
  title = {Third } # lics,
  editor = {Yuri Gurevich},
  year = 1988,
  month = jul,
  address = {Edinburgh, Scotland},
  organization = ieee
}