Correctness of Multiplicative Additive Proof Structures is NL-Complete | IEEE Conference Publication | IEEE Xplore