Higher order Proof Reconstruction from Paramodulation-Based Refutations: The Unit Equality Case