1991-report.bib

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

@comment{{Command line: /usr/bin/bib2bib -q -oc 1991-report.cite -ob 1991-report.bib -c 'year = 1991 and topics : "team" and ($type="techreport" or $type="manual" or $type="mastersthesis")' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/crossrefs.bib}}

@techreport{anantharaman91rr,
  author = {Siva Anantharaman and Nirina Andrianarivelo},
  topics = {teamnop},
  title = {A Complete Semi-Decision Procedure in {H}orn Theories},
  institution = {{LRI}},
  year = 1991,
  type = {Research Report}
}

@techreport{comon91neg,
  author = {Hubert Comon and Maribel Fern{\'a}ndez},
  topics = {teamnop},
  title = {Negation Elimination in Equational Formulae},
  institution = {Laboratoire de Recherche en Informatique},
  year = 1991,
  type = {Research Report},
  number = 716,
  address = {Univ. Paris-Sud, France},
  month = dec
}

@techreport{comon91rr1,
  author = {Hubert Comon},
  topics = {teamnop},
  title = {Ground Normal Forms and Inductive Proofs. Part {I}:
		  complement problems},
  location = {biblio-equipe},
  institution = {Laboratoire de Recherche en Informatique},
  year = 1991,
  type = {Research Report},
  number = 698
}

@techreport{fernandez91rr,
  author = {Maribel Fern{\'a}ndez},
  topics = {teamnop, disunification},
  title = {Equational Disunification},
  institution = {Laboratoire de Recherche en Informatique},
  year = 1991,
  type = {Research Report},
  number = 684,
  address = {Univ. Paris-Sud},
  month = jul
}

@techreport{kesner91prl,
  author = {Delia Kesner},
  topics = {old-team},
  title = {Pattern Matching in Order Sorted Languages},
  institution = {PRL - Digital Equipment Corporation},
  year = 1991,
  month = may,
  type = {PRL Report},
  number = 10
}

@techreport{marche91rr,
  author = {Claude March{\'e}},
  location = {CM,biblio-equipe},
  topics = {rewriting, completion, old-teamnop},
  title = {The Word Problem of {ACD}-ground Theories is Undecidable},
  institution = {Laboratoire de Recherche en Informatique},
  year = 1991,
  type = {Research Report},
  number = 663,
  address = {Universit{\'e} de Paris-Sud, Orsay, France},
  month = apr
}