Interpolation systems for ground proofs in automated deduction: a survey