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

@comment{{Command line: /usr/bin/bib2bib -c '$key="Z91:iowa" or $key="KN85:ijcai" or $key="BD87:lics" or $key="MS88:seki" or $key="H85:ai" or 1=2' ../biblio/abbrevs.bib ../biblio/rtaloop.bib ../biblio/crossrefs.bib}}

@string{ieee = {IEEE}}

@string{ai = {Artificial Intelligence}}

@string{univiowa = {University of Iowa}}

@string{univkl = {University of Kaiserslautern}}

@string{deptcsiowa = {Department of Computer Science, } # univiowa}

@string{deptcskl = {Fachbereich Informatik, } # univkl}

@inproceedings{KN85:ijcai,
  author = {Deepak Kapur and Paliath Narendran},
  month = aug,
  year = 1985,
  title = {An equational approach to theorem proving in first-order
                 predicate calculus},
  booktitle = {Proceedings of the Ninth International Joint Conference on
                 Artificial Intelligence},
  address = {Los Angeles, CA},
  pages = {1146--1153}
}

@inproceedings{BD87:lics,
  author = {Leo Bachmair and Nachum Dershowitz},
  title = {Inference Rules for Rewrite-Based First-Order Theorem Proving},
  crossref = {lics87},
  pages = {331--337}
}

@techreport{Z91:iowa,
  author = {Hantao Zhang},
  year = 1991,
  title = {A New Strategy for the {Boolean} Ring Based Approach
			to First Order Theorem Proving},
  type = {Technical Report},
  institution = deptcsiowa
}

@techreport{MS88:seki,
  author = {J{\"u}rgen M{\"u}ller and Rolf Socher-Ambrosius},
  year = {1988},
  title = {Topics in completion theorem proving},
  type = {SEKI-Report},
  number = {SR-88-13},
  institution = deptcskl,
  address = {Kaiserslautern, West Germany},
  note = {To appear in {\em J. of Symbolic Computation}}
}

@article{H85:ai,
  author = {Jieh Hsiang},
  month = mar,
  year = 1985,
  title = {Refutational theorem proving using term-rewriting systems},
  journal = ai,
  volume = 25,
  pages = {255--300}
}

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

@proceedings{lics87,
  booktitle = {Second } # lics,
  title = {Second } # lics,
  year = 1987,
  organization = ieee
}