at.logic.gapt.proofs.lkOld
Condensation implements the redundancy optimization technique of the same name, see also Leitsch: The Resolution Calculus chapter 3.2
Condensation implements the redundancy optimization technique of the same name, see also Leitsch: The Resolution Calculus chapter 3.2