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

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

@phdthesis{Rubio94,
  author = {Albert Rubio},
  title = {Automated deduction with constrained clauses},
  school = {Univ. de Catalunya},
  year = 1994
}