Correctness of Multiplicative Additive Proof Structures is NL-Complete.

Paulin Jacob de Naurois, Virgile Mogbil

Browse the full LICS paper archive.