Proof complexity of monotone branching programs
scientific article; zbMATH DE number 7627919
scientific article