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