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

@comment{{Command line: /usr/bin/bib2bib -c '$key="bofill:lics99" or $key="HR86:cade" 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{bofill:lics99,
  author = {Miquel Bofill and Guillem Godoy and Robert Nieuwenhuis
			and Albert Rubio},
  title = {Paramodulation with Non-Monotonic Orderings},
  crossref = {lics99},
  ftp = {http://www-lsi.upc.es/~roberto/papers/sf.ps.gz}
}

@inproceedings{HR86:cade,
  author = {Jieh Hsiang and Micha\"el Rusinowitch},
  title = {A new method for establishing refutational completeness in
                 theorem proving},
  crossref = {cade86},
  pages = {141--152}
}

@proceedings{cade86,
  booktitle = {8th International Conference on Automated Deduction},
  title = {8th International Conference on Automated Deduction},
  address = {Oxford, England},
  editor = {J\"rg Siekmann},
  series = lncs,
  volume = 230,
  publisher = springer,
  year = 1986
}

@proceedings{lics99,
  booktitle = {Fourteenth IEEE Annual Symposium on Logic in Computer Science},
  title = {Fourteenth IEEE Annual Symposium on Logic in Computer Science},
  year = 1999,
  month = jul,
  address = {Trento, Italy},
  organization = ieee
}