Lifting lower bounds for tree-like proofs

Alexis Maciel, Phuong Nguyen, Toniann Pitassi. Lifting lower bounds for tree-like proofs. Computational Complexity, 23(4):585-636, 2014. [doi]

Abstract

Abstract is missing.