Asymmetric unification and disunification