1993-journal.bib

@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -q -oc 1993-journal.cite -ob 1993-journal.bib -c 'year = 1993 and topics : "team" and $type="article"' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/crossrefs.bib}}
@article{boudet93jar,
  topics = {unification, team, lri},
  author = {Alexandre Boudet},
  title = {Competing for the {AC}-unification race},
  journal = {Journal of Automated Reasoning},
  year = 1993,
  volume = 11,
  pages = {185--212},
  type_publi = {irevcomlec}
}
@article{boudet93jsc,
  topics = {unification, team, cclserver, lri},
  author = {Alexandre Boudet},
  title = {Combining Unification Algorithms},
  journal = {Journal of Symbolic Computation},
  year = 1993,
  volume = 16,
  pages = {597--626},
  type_publi = {irevcomlec}
}
@article{comon93tcs,
  author = {Hubert Comon},
  topics = {team, lri, constraints},
  title = {Complete axiomatizations of some quotient term algebras},
  journal = {Theoretical Computer Science},
  year = 1993,
  volume = 118,
  number = 2,
  pages = {167--191},
  month = sep,
  ftp = {ftp://ftp.lri.fr/LRI/articles/comon/axiomatizations.dvi.Z},
  type_publi = {irevcomlec}
}
@article{contejean93jsc,
  author = {\'Evelyne Contejean},
  topics = {unification, distributivity, team, lri},
  title = {Solving {$*$}-problems modulo Distributivity by a
		  Reduction to {$AC1$}-unification},
  journal = {Journal of Symbolic Computation},
  year = 1993,
  volume = 16,
  number = 5,
  pages = {493-52},
  abstract = {http://www.lri.fr/~contejea/publis/1993jsc/abstract.html},
  type_publi = {irevcomlec},
  doi = {http://dx.doi.org/10.1006/jsco.1993.1060}
}
@article{puel93jsc,
  topics = {team, lri},
  author = {Puel, Laurence and Suarez, Ascander},
  title = {Compiling pattern matching by term decomposition},
  journal = {Journal of Symbolic Computation},
  pages = {1--26},
  year = 1993,
  volume = {15 },
  type_publi = {irevcomlec}
}
@article{paulin93u,
  author = {Christine Paulin Mohring and Benjamin Werner},
  title = {Synthesis of ML programs in the system Coq},
  journal = {Journal of Symbolic Computation},
  volume = {15},
  year = {1993},
  pages = {607--640},
  topics = {team}
}
@article{paulinjsc92,
  author = {Christine Paulin-Mohring and Benjamin Werner},
  journal = {Journal of Symbolic Computation},
  title = {{Synthesis of ML programs in the system Coq}},
  volume = {15},
  year = {1993},
  pages = {607--640},
  topics = {team}
}