@string{jsc={Journal of Symblic Computation}}
@string{springer={Springer Verlag}}
@string{lncs={Lecture Notes in Computer Science}}

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

@InProceedings{Comon:icalp92,
  author	= "Hubert Comon",
  title		= "Completion of Rewrite Systems with Membership Constraints",
  pages		= "392--403",
  crossref	= "icalp92",
}

@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/papers/SO.ps.gz",
}
g
@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{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{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",
}

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

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

@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 = "ftp://ftp.cis.uni-muenchen.de/pub/cis-berichte/CIS-Bericht-98-114.ps",   
}


@proceedings{icalp92,
  booktitle	= "19th International Colloquium on
                	Automata, Languages and Programming",
  title	= "19th International Colloquium on
                	Automata, Languages and Programming",
  address	= "Wien, Austria",
  editor	= "Werner Kuich",
  publisher	= springer,
  series	= lncs,
  volume        = 623,
  year		= 1992,
  month		= jul,
}

@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{rta98,
  booktitle	= "\ahref{http://rewriting.loria.fr/rta/}{9th International Conference on Rewriting Techniques and Applications}",
  title	= "\ahref{http://rewriting.loria.fr/rta/}{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{rta96,
  booktitle	= "\ahref{http://www.rewriting.org/rta/}{7th International Conference on Rewriting Techniques and Applications}",
  title	= "\ahref{http://www.rewriting.org/rta/}{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{rta00,
  booktitle     = "\ahref{http://rewriting.loria.fr/rta/}{Rewriting Techniques and Applications}",
  title     = "\ahref{http://rewriting.loria.fr/rta/}{Rewriting Techniques and Applications}",
  editor        = "Leo Bachmair",
  publisher     = springer,
  series        = lncs,
  volume        = 1833,
  month         = jul,
  year          = 2000,
  address       = "Norwich, UK"
}
