at.logic.gapt.proofs.resolution
Generates from a formula f a List of FClauses in CNF by using Tseitin's Transformation
formula which should be transformed
CNF satisfiability-equivalent to f