A direct construction of polynomial-size OBDD proof of pigeon hole problem
scientific article; zbMATH DE number 5771243