at.logic.gapt.proofs.resolution
Eliminate AvatarComponentElim, AvatarComponentIntro, AvatarAbsurd splitting inferences from a resolution proof.
Eliminate AvatarComponentElim, AvatarComponentIntro, AvatarAbsurd splitting inferences from a resolution proof.