Highly Influential

@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} }

- Published 2017 in ArXiv

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

### Presentations referencing similar topics