Asymmetric Unification and Disunification

  title={Asymmetric Unification and Disunification},
  author={Veena Ravishankar and Kimberly A. Gero and Paliath Narendran},
We compare two kinds of unification problems: Asymmetric Unification and Disunification, which are variants of Equational Unification. Asymmetric Unification is a type of Equational Unification where the right-hand sides of the equations are in normal form with respect to the given term rewriting system. In Disunification we solve equations and disequations… CONTINUE READING