Atserias, A.; Müller, M.; Oliva, S. Lower bounds for DNF-refutations of a relativized weak pigeonhole principle. A: IEEE Conference on Computational Complexity. "2013 IEEE Conference on Computational Complexity, CCC 2013: 5-7 June 2013 Palo Alto, California, USA: proceedings". Palo Alto, California: Institute of Electrical and Electronics Engineers (IEEE), 2013, p. 109-120.