1993-other.bib

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

@comment{{Command line: /usr/bin/bib2bib -q -oc 1993-other.cite -ob 1993-other.bib -c 'year = 1993 and topics : "team" and $type<>"article" and $type<>"inproceedings" and $type<>"book" and $type<>"inbook" and $type<>"incollection" and $type<>"phdthesis" and $type<>"techreport" and $type<>"manual" and $type<>"mastersthesis"' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/crossrefs.bib}}

@unpublished{comon93cirs1,
  author = {Hubert Comon},
  topics = {team, rewriting,cclserver, lri},
  title = {Completion of Rewrite systems with membership
		  constraints. Part I: deduction rules},
  note = {This is a first part of a paper whose abstract
		  appeared in Proc. {ICALP 92}, Vienna. It will appear
		  in the Journal of Symbolic Computation},
  year = 1993,
  month = aug,
  ftp = {ftp://ftp.lri.fr/LRI/articles/comon/constrained-completion1.dvi.Z}
}

@unpublished{comon93cirs2,
  author = {Hubert Comon},
  topics = {team, lri, rewriting, cclserver},
  title = {Completion of Rewrite systems with membership
		  constraints. Part II: Constraint Solving},
  note = {This is the second part of a paper whose abstract
		  appeared in Proc. {ICALP 92}, Vienna. It will appear
		  in the Journal of Symbolic Computation},
  year = 1993,
  month = aug,
  ftp = {ftp://ftp.lri.fr/LRI/articles/comon/constrained-completion2.dvi.Z}
}

@unpublished{comon94jsc,
  author = {Hubert Comon and Maribel Fern{\'a}ndez},
  topics = {teamnop},
  title = {Negation Elimination, Part {I}: Equational Formulae
		  in Empty or Permutative Theories},
  note = {submitted},
  year = 1993
}

@unpublished{fernandez94jsc,
  author = {Maribel Fern{\'a}ndez},
  topics = {teamnop},
  title = {Negation Elimination, Part {II}: {AC} Complement Problems},
  note = {submitted},
  year = 1993
}

@misc{marche93litp,
  author = {Claude March{\'e}},
  title = {Normalized Rewriting -- Application to ground
                   completion and standard bases},
  howpublished = {Notes de cours de l'{\'e}cole de printemps},
  year = 1993,
  topics = {team, lri},
  x-pdf = {http://www.lri.fr/~marche/articles/litp93.ps.gz},
  abstract = {http://www.lri.fr/~marche/litp93.html},
  type_publi = {diffusion}
}