@article(contralg,
title = "Contraction Algebras and Unification of Infinite Terms",
author = "R\u{a}zvan Diaconescu",
journal = "Journal of Computer and System Sciences",
volume = 44,
number = 1,
year = 1992,
pages = "23-43")