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

@comment{{Command line: /usr/bin/bib2bib -c '$key="schmidt-schauss:jsc97" or $key="schmidt-schauss:rta98" or $key="Comon98ajsc" or $key="Schauss:cisrep99" or $key="Schauss:rr94-12" or $key="Schauss:cade99" or $key="Comon:rr699" or $key="Comon98bjsc" or $key="levy02rta" or $key="Levy:rta96" or $key="Niehren:cade97" or $key="Goldfarb:tcs81" or $key="Levy:rta00" or $key="Makanin:77" or $key="LevyAgust:jsc96" or 1=2' ../biblio/abbrevs.bib ../biblio/rtaloop.bib ../biblio/crossrefs.bib}}

@string{springer = {Springer-Verlag}}

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

@string{tcs = {Theoretical Computer Science}}

@string{lncs = {Lecture Notes in Computer Science}}

@string{lnai = {Lecture Notes in Artificial Intelligence}}

@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
}

@inproceedings{Niehren:cade97,
  author = {Joachim Niehren and Manfred Pinkal and Peter Ruhrberg},
  title = {On Equality Up-to Constraints over Finite Trees, Context
                 Unification and One-Step Rewriting},
  crossref = {cade97},
  pages = {34--48}
}

@article{Makanin:77,
  author = {G. S. Makanin},
  title = {The Problem of Solvability of Equations in a Free
			Semi-Group},
  journal = {Math. USSR Sbornik},
  volume = 32,
  number = 2,
  year = 1977,
  pages = {129--198}
}

@article{Goldfarb:tcs81,
  author = {Warren D. Goldfarb},
  title = {The Undecidability of the Second-Order Unification
			Problem},
  journal = tcs,
  volume = 13,
  year = 1981,
  pages = {225--230}
}

@techreport{Comon:rr699,
  author = {Hubert Comon},
  title = {Completion of Rewrite Systems with Membership Constraints},
  type = {Rapport de Recherche},
  number = 699,
  institution = {L.R.I., Universit\'e de Paris-Sud},
  month = sep,
  year = 1991
}

@article{Comon98ajsc,
  author = {Hubert Comon},
  title = {Completion of Rewrite Systems with Membership Constraints.
                   {P}art {I}: Deduction Rules},
  journal = jsc,
  year = 1998,
  volume = 25,
  pages = {397--419}
}

@article{Comon98bjsc,
  author = {Hubert Comon},
  title = {Completion of Rewrite Systems with Membership Constraints.
                   {P}art {II}: Constraint Solving},
  journal = jsc,
  year = 1998,
  volume = 25,
  pages = {421--453}
}

@techreport{Schauss:rr94-12,
  author = {Manfred Schmidt-Schau\ss},
  title = {Unification of Stratified Second-Order Terms},
  type = {Internal Report},
  number = {12/94},
  institution = {Johann\--Wolfgang\--Goethe\--Universit\"at},
  address = {Frankfurt, Germany},
  year = {1994},
  url = {http://www.ki.informatik.uni-frankfurt.de/papers/schauss/D-uni-SO-9-95.ps.gz}
}

@inproceedings{schmidt-schauss:rta98,
  author = {Manfred Schmidt-Schau{\ss} and Klaus Schulz},
  title = {On the Exponent of Peridicity of Minimal Solutions
			of Context Equations},
  crossref = {rta98},
  pages = {61--75}
}

@inproceedings{Levy:rta96,
  author = {Jordi Levy},
  title = {Linear Second-Order Unification},
  pages = {332--346},
  crossref = {rta96}
}

@article{LevyAgust:jsc96,
  author = {Jordi Levy and Jaume Agust\'\i},
  title = {Bi-rewriting Systems},
  journal = jsc,
  year = 1996,
  month = sep,
  volume = 22,
  number = 3,
  pages = {279--314}
}

@inproceedings{Schauss:cade99,
  author = {Manfred Schmidt-Schau{\ss} and Klaus Schulz},
  title = {Solvability of Context Unification with two Context
			Variables is Decidable},
  crossref = {cade99},
  pages = {67-81},
  note = {Complete version as \cite{Schauss:cisrep99}}
}

@techreport{Schauss:cisrep99,
  author = {Manfred Schmidt-Schau{\ss} and Klaus Schulz},
  title = {Solvability of Context Unification with two Context
			Variables is Decidable},
  institution = {CIS, Universit\"at M\"unchen},
  address = {M\"unchen, Germany},
  type = {CIS-Report},
  number = {98-114},
  year = 1999,
  url = {http://www.cis.uni-muenchen.de/pub/cis-berichte/CIS-Bericht-98-114.ps}
}

@inproceedings{Levy:rta00,
  author = {Jordi Levy and Mateu Villaret},
  title = {Linear Second-Order Unification and Context
			Unification with Tree-Regular Constraints},
  crossref = {rta00},
  pages = {156--171}
}

@inproceedings{levy02rta,
  author = {Jordi Levy and Mateu Villaret},
  title = {Currying Second-Order Unification Problems},
  crossref = {rta02},
  pages = {326--339}
}

@proceedings{cade97,
  booktitle = {14th International Conference on Automated Deduction},
  title = {14th International Conference on Automated Deduction},
  address = {Townsville, Australia},
  editor = {William McClune},
  year = 1997,
  month = jul,
  publisher = springer,
  series = lnai,
  volume = 1249
}

@proceedings{cade99,
  booktitle = {16th International Conference on Automated Deduction},
  title = {16th International Conference on Automated Deduction},
  address = {Trento, Italy},
  month = jul,
  year = 1999,
  editor = {Harald Ganzinger},
  publisher = springer,
  series = lnai,
  volume = 1632
}

@proceedings{rta96,
  booktitle = {7th International Conference on Rewriting Techniques and Applications},
  title = {7th International Conference on Rewriting Techniques and Applications},
  editor = {Harald Ganzinger},
  publisher = springer,
  year = 1996,
  month = jul,
  address = {New Brunswick, NJ, USA},
  series = lncs,
  volume = 1103
}

@proceedings{rta98,
  booktitle = {9th International Conference on Rewriting Techniques and Applications},
  title = {9th International Conference on Rewriting Techniques and Applications},
  editor = {Tobias Nipkow},
  publisher = springer,
  year = 1998,
  month = apr,
  address = {Tsukuba, Japan},
  series = lncs,
  volume = 1379
}

@proceedings{rta00,
  booktitle = {Rewriting Techniques and Applications},
  title = {Rewriting Techniques and Applications},
  editor = {Leo Bachmair},
  publisher = springer,
  series = lncs,
  volume = 1833,
  month = jul,
  year = 2000,
  address = {Norwich, UK}
}

@proceedings{rta02,
  booktitle = {Rewriting Techniques and Applications},
  title = {Rewriting Techniques and Applications},
  editor = {Sophie Tison},
  publisher = springer,
  series = lncs,
  volume = 2378,
  month = jul,
  year = 2002,
  address = {Copenhagen, Denmark}
}