@InProceedings{Kutsia03UNIF,
  author =       "Temur Kutsia",
  editor =       "Jordi Levy and Michael Kohlhase and Joachim Niehren and Mateu Villaret",
  title =        "Matching in Flat Theories",
  booktitle =    "Proceedings of the 17th International Workshop on Unification ({UNIF'03})",
  address =      "Valencia, Spain",
  month =        "8--9 " # jun,
  year =         "2003",
  pages =        "57--64",
  ISBN =         "84-96221-00-8",
}