Similar Items: Inter-procedural Two-Variable Herbrand Equalities
- Herbrand-Confluence
- On Natural Deduction for Herbrand Constructive Logics I: Curry-Howard Correspondence for Dummett's Logic LC
- Two-Variable Logic with Two Order Relations
- Ground interpolation for the theory of equality
- Equality Saturation: A New Approach to Optimization
- On Irrelevance and Algorithmic Equality in Predicative Type Theory