TY  - RPRT
TI  - PIE -- Proving, Interpolating and Eliminating on the Basis of First-Order Logic
AU  - Christoph Wernhard
PY  - 2019
UR  - https://arxiv.org/abs/1908.11137
ID  - 1908.11137
ER  -