TY  - RPRT
TI  - Splitting Proofs for Interpolation
AU  - Bernhard Gleiss
AU  - Laura Kovacs
AU  - Martin Suda
PY  - 2017
UR  - https://arxiv.org/abs/1711.02503
ID  - 1711.02503
ER  -