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

@comment{{Command line: /usr/bin/bib2bib -c '$key="NO90:concordia" or $key="Bronsard-thesis" or $key="Bronsard-Reddy-reduction" or $key="BR90:lncs" or 1=2' ../biblio/abbrevs.bib ../biblio/rtaloop.bib ../biblio/crossrefs.bib}}

@string{springer = {Springer-Verlag}}

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

@string{univill = {University of Illinois}}

@string{univmontrealconcordia = {Concordia University}}

@phdthesis{Bronsard-thesis,
  author = {Bronsard, Francois},
  title = {Using Term Orders to Control Deductions},
  school = univill,
  note = {Forthcoming},
  year = 1995
}

@inproceedings{Bronsard-Reddy-reduction,
  author = {Bronsard, F. and Reddy, U. S.},
  title = {Reduction Techniques for First-Order Reasoning},
  pages = {242--256},
  crossref = {ctrs92}
}

@inproceedings{BR90:lncs,
  author = {Bronsard, Francois and Reddy, Uday S.},
  title = {Conditional rewriting in {Focus}},
  crossref = {ctrs91}
}

@inproceedings{NO90:concordia,
  author = {Robert Nieuwenhuis and Fernando Orejas},
  title = {Clausal Rewriting},
  booktitle = {Extended Abstracts of the Second International Workshop on
                 Conditional and Typed Rewriting Systems},
  year = 1990,
  editor = {S. Kaplan and M. Okada},
  publisher = univmontrealconcordia,
  pages = {81--88},
  address = {Montreal, Canada},
  month = jun,
  note = {Revised version to appear in {\em Lecture Notes in Computer
                 Science}, Springer-Verlag, Berlin}
}

@proceedings{ctrs91,
  booktitle = {Proceedings of the Second International Workshop on
                        Conditional and Typed Rewriting Systems},
  title = {Proceedings of the Second International Workshop on
                        Conditional and Typed Rewriting Systems},
  address = {Montreal, Canada},
  editor = {M. Okada},
  volume = 516,
  series = lncs,
  publisher = springer,
  year = 1991
}

@proceedings{ctrs92,
  booktitle = {Proceedings of the Third International Workshop on
                 	Conditional Rewriting Systems},
  title = {Proceedings of the Third International Workshop on
                 	Conditional Rewriting Systems},
  editor = {Micha\"el Rusinowitch, M. and R\'emy, J. L.},
  month = jan,
  year = 1993,
  publisher = springer,
  series = lncs,
  volume = 656,
  address = {Pont-\`a-Mousson, France}
}