@InProceedings{Kutsia03Synasc,
  author    =    "Temur Kutsia",
  title     =    "Unification Modulo Flatness",
  booktitle =    "Proceedings of the 5th International Workshop on Symbolic and Numeric Algorithms for Scientific Computing ({SYNASC'03})",
  editor    =    "Dana Petcu and Daniela Zaharie and Viorel Negru and Tudor Jebelean",
  month     =    "1--4 " # oct,
  year      =    "2003",
  pages     =    "135--148",
  address   =    "Timisoara, Romania",
  publisher =    "Mirton Publishing Company",
  ISBN      =    "973-661-104-3",
}