![](/img/cover-not-exists.png)
On Interpolation in Automated Theorem Proving
Bonacina, Maria Paola, Johansson, MoaVolume:
54
Language:
english
Journal:
Journal of Automated Reasoning
DOI:
10.1007/s10817-014-9314-0
Date:
January, 2015
File:
PDF, 988 KB
english, 2015