@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")