Similar Items: Efficient Full Higher-Order Unification
- One is all you need: Second-order Unification without First-order Variables
- Efficiently Simulating Higher-Order Arithmetic by a First-Order Theory Modulo
- Exact Unification and Admissibility
- Unification and Logarithmic Space
- Higher Order Automatic Differentiation of Higher Order Functions
- Unification in the Description Logic EL