Is it possible to unify sequential programs?

Tatiana Novikova, Vladimir Zakharov. Is it possible to unify sequential programs?. In Konstantin Korovin, Barbara Morawska, editors, 27th International Workshop on Unification, UNIF 2013, Eindhoven, Netherlands, June 26, 2013. Volume 19 of EPiC Series, pages 35-45, EasyChair, 2013. [doi]

Abstract

Abstract is missing.