Similar Items: Unification in the Description Logic EL
- Extending Unification in $mathcal{EL}$ to Disunification: The Case of Dismatching and Local Disunification
- Exact Unification and Admissibility
- Unification and Logarithmic Space
- The Algebraic Intersection Type Unification Problem
- Efficient Full Higher-Order Unification
- Algebraic and logical descriptions of generalized trees