Optimizing the clausal normal form transformation
scientific article; zbMATH DE number 4213481
scientific article