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

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

@string{ieee = {IEEE}}

@string{univparissud = {Universit\'e Paris-Sud}}

@phdthesis{Devie-thesis,
  author = {Herv{\'e} Devie},
  title = {Une approche alg{\'e}brique de la
                 r{\'e}{\'e}criture de preuves {\'e}quationnelles et
                 son application {\`a} la d{\'e}rivation de
                 proc{\'e}dures de compl{\'e}tion},
  school = univparissud,
  address = {Orsay, France},
  year = 1991,
  month = oct
}

@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}
}

@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
}