Two systems for proving tautologies, based on the split method
classes with polynomial time recognition algorithm
scientific article; zbMATH DE number 3803401