Conditional Lower Bound for a System of Constant-Depth Proofs with Modular Connectives | IEEE Conference Publication | IEEE Xplore