First-order interpolation derived from propositional interpolation

Matthias Baaz, Anela Lolic. First-order interpolation derived from propositional interpolation. Theoretical Computer Science, 837:209-222, 2020. [doi]

Abstract

Abstract is missing.