at.logic.gapt.proofs.ceres_schema.clauseSets
This implements the clause set transformation of the original CERES method. Does not work for Schema, for CERESomega only if all labels are empty.
This implements the clause set transformation of the original CERES method. Does not work for Schema, for CERESomega only if all labels are empty.