Proof Tree Preserving Tree Interpolation

J├╝rgen Christ, Jochen Hoenicke. Proof Tree Preserving Tree Interpolation. Journal of Automated Reasoning, 57(1):67-95, 2016. [doi]

Abstract

Abstract is missing.