Asymmetric Unification and Disunification

@article{Ravishankar2017AsymmetricUA,
  title={Asymmetric Unification and Disunification},
  author={Veena Ravishankar and Kimberly A. Gero and Paliath Narendran},
  journal={CoRR},
  year={2017},
  volume={abs/1706.05066}
}
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