| Separating Map Variables in a Logic-Based Intermediate Verification Language. | 0 | 0.34 | 2021 |
| Proof Tree Preserving Sequence Interpolation of Quantified Formulas in the Theory of Equality. | 0 | 0.34 | 2021 |
| Ultimate Taipan with Dynamic Block Encoding - (Competition Contribution). | 0 | 0.34 | 2018 |
| Ultimate Automizer and the Search for Perfect Interpolants - (Competition Contribution). | 0 | 0.34 | 2018 |
| Instantiation-Based Interpolation for Quantified Formulae. | 4 | 0.39 | 2010 |
