Is it possible to unify sequential programs? - Tatyana A. Novikova; Vladimir A. Zakharov (UNIF@RTA/TLCA, 2013)

Two-sided unification is NP-complete. - Tatyana A. Novikova; Vladimir A. Zakharov (UNIF, 2014)