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

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

@string{springer = {Springer-Verlag}}

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

@inproceedings{BC92:alp,
  author = {Alexandre Boudet and Evelyne Contejean},
  title = {On $n$-Syntactic Equational Theories},
  booktitle = {Proceedings of the Third International Conference on
                 Algebraic and Logic Programming},
  year = {1992},
  editor = {H. Kirchner and G. Levi},
  pages = {446--457},
  month = sep,
  volume = 632,
  series = lncs,
  publisher = springer,
  address = {Pisa, Italy}
}