Similar Items: Interpolation in local theory extensions
- On Interpolation and Symbol Elimination in Theory Extensions
- Ground interpolation for the theory of equality
- Quantifier-Free Interpolation of a Theory of Arrays
- An extensible equality checking algorithm for dependent type theories
- A limitation on the KPT interpolation
- Interpolant-Based Transition Relation Approximation