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

@comment{{Command line: /usr/bin/bib2bib -c '$key="schmidt-schauss:jsc97" or $key="schmidt-schauss94a" or $key="contejean93icalp" or $key="tiden87jsc" or $key="contejean93pc" or $key="contejean92these" or 1=2' ../biblio/abbrevs.bib ../biblio/rtaloop.bib ../biblio/crossrefs.bib}}

@string{springer = {Springer-Verlag}}

@string{mitpress = {The MIT Press}}

@string{jsc = {Journal of Symbolic Computation}}

@string{univparissud = {Universit\'e Paris-Sud}}

@article{schmidt-schauss:jsc97,
  author = {Manfred Schmidt-Schau{\ss}},
  title = {A Unification Algorithm for Distributivity and a
			Multiplicative Unit},
  journal = jsc,
  year = 1997,
  pages = {315--344},
  volume = 22,
  number = 3
}

@techreport{schmidt-schauss94a,
  author = {Manfred Schmidt-Schau{\ss}},
  title = {Unification of Stratified Second-Order Terms},
  institution = {Fachbereich Informatik, Universit{\"a}t Frankfurt},
  year = 1994,
  type = {Research Report},
  number = {12/94},
  address = {Germany},
  month = dec
}

@inproceedings{contejean93pc,
  author = {Evelyne Contejean},
  title = {Solving Linear {Diophantine} Constraints Incrementally},
  crossref = {iclp93},
  pages = {532--549},
  url = {http://www.lri.fr/~contejea/iclp93.html}
}

@phdthesis{contejean92these,
  author = {Evelyne Contejean},
  topics = {unification, teamp},
  title = {El{\'e}ments pour la D{\'e}cidabilit{\'e} de
                 	l'Unification modulo la Distributivit{\'e}},
  school = univparissud,
  address = {Orsay, France},
  year = 1992,
  month = apr
}

@inproceedings{contejean93icalp,
  author = {Evelyne Contejean},
  title = {A Partial Solution for {D}-unification based on a Reduction
                  to {AC1}-unification},
  pages = {621--632},
  booktitle = {Proceedings of the EATCS International Conference on
                 	Automata, Languages and Programming},
  year = 1993,
  publisher = springer,
  address = {Lund, Sweden},
  month = jul,
  url = {http://www.lri.fr/~contejea/icalp93.html}
}

@article{tiden87jsc,
  author = {Erik Tiden and Stefan Arnborg},
  title = {Unification Problems with One-Sided Distributivity},
  journal = jsc,
  year = 1987,
  volume = 3,
  pages = {183-202}
}

@proceedings{iclp93,
  editor = {David S. Warren},
  series = {Logic Programming},
  booktitle = {Proceedings of the Tenth International Conference
                       on Logic Programming},
  title = {Proceedings of the Tenth International Conference
                       on Logic Programming},
  year = 1993,
  publisher = mitpress,
  address = {Budapest, Hungary},
  month = jun
}