Similar Items: On Unification Modulo One-Sided Distributivity: Algorithms, Variants and Asymmetry
- Unification modulo a 2-sorted Equational theory for Cipher-Decipher Block Chaining
- Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version)
- One is all you need: Second-order Unification without First-order Variables
- Exact Unification and Admissibility
- Unification and Logarithmic Space
- Unification in the Description Logic EL