ReductiveCutElimException
RefutationSketchToRobinson
RemoveEqRulesFromGroundSchemaProof
Robinson2RalWithAbstractions
removeFormulasAtOccurrences
renameIndexedVarInProjection
resolutionProofsAreReplaceable
robinsonProofWithReconstructedEndSequent
robinsonProofWithReconstructedEndSequentFromFile