Bonacinaand Johansson. Interpolation Systems for Ground Proofs in Automated Deduction: A Survey. Springer Nature, Mar. 2015, doi:10.1007/s10817-015-9325-5.