1992-journal.bib

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

@comment{{Command line: /usr/bin/bib2bib -q -oc 1992-journal.cite -ob 1992-journal.bib -c 'year = 1992 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{comon92aila,
  author = {Hubert Comon},
  topics = {constraints, old-team},
  title = {Constraints in Term Algebras.
                   Application to Rewrite Systems},
  journal = {Atti Degli Incontri Di Logica Matematica},
  year = 1992,
  volume = 8,
  pages = {5--17}
}

@article{fernandez92aaecc,
  author = {Maribel Fern{\'a}ndez},
  title = {Narrowing based procedures for equational disunification},
  journal = {Applicable Algebra in Engineering Communication and
		 Computing},
  year = 1992,
  topics = {cclserver, disunification, old-team},
  location = {maribel, HC 583 , biblio-equipe},
  volume = 3,
  pages = {1--26}
}

@article{jouannaud92jlp,
  author = {Jean-Pierre Jouannaud and Claude Kirchner and
			H{\'e}l{\`e}ne Kirchner and Aristide Megrelis},
  topics = {old-team, cclserver},
  title = {{OBJ}: Programming with equalities, subsorts,
		  	overloading and parametrization},
  journal = {Journal of Logic Programming},
  year = 1992,
  volume = 12,
  pages = {257--279}
}

@article{jouannaud92tcs,
  author = {Jean-Pierre Jouannaud and Claude March{\'e}},
  topics = {rewriting, old-team, cclserver},
  location = {CM, HC 637},
  title = {Termination and completion modulo associativity,
		 commutativity and identity},
  journal = {Theoretical Computer Science},
  year = 1992,
  volume = 104,
  pages = {29--51},
  x-pdf = {http://www.lri.fr/~marche/articles/tcs92.ps.gz},
  abstract = {http://www.lri.fr/~marche/tcs92.html}
}

@article{marche92ijfcs,
  author = {Claude March{\'e}},
  topics = {old-team, cclserver},
  location = {CM},
  title = {The word problem of {ACD}-ground theories is undecidable},
  journal = {International Journal of Foundations of Computer
		 Science},
  year = 1992,
  volume = 3,
  number = 1,
  pages = {81--92},
  x-pdf = {http://www.lri.fr/~marche/articles/ijfcs92.ps.gz},
  abstract = {http://www.lri.fr/~marche/ijfcs92.html}
}