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

@comment{{Command line: /usr/bin/bib2bib -c '$key="LM87:jar" or $key="T93:rta" or $key="C88:grenoble" or 1=2' ../biblio/abbrevs.bib ../biblio/rtaloop.bib ../biblio/crossrefs.bib}}

@string{springer = {Springer-Verlag}}

@string{jar = {Journal of Automated Reasoning}}

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

@inproceedings{T93:rta,
  author = {Tajine, Mohamed},
  title = { Negation Elimination for Syntactic Equational Formula},
  crossref = {rta93},
  pages = {316--327}
}

@article{LM87:jar,
  author = {J.-L. Lassez and K. G. Marriott},
  title = {Explicit Representation of Terms Defined by Counter
                Examples},
  journal = jar,
  year = 1987,
  volume = 3,
  number = 3,
  pages = {1--17},
  month = sep
}

@phdthesis{C88:grenoble,
  author = {Hubert Comon},
  title = {Unification et Disunification: {T}h{\'e}orie et
                Applications},
  school = {Institut National Polytechnique de Grenoble},
  year = 1988,
  note = {In French}
}

@proceedings{rta93,
  title = {5th International Conference on Rewriting Techniques and Applications},
  booktitle = {5th International Conference on Rewriting Techniques and Applications},
  editor = {Claude Kirchner},
  publisher = springer,
  year = 1993,
  month = jun,
  address = {Montreal, Canada},
  series = lncs,
  volume = 690
}