Beckmann, Buss, 2017. The NP Search Problems of Frege and Extended Frege Proofs 18.. https://doi.org/10.1145/3060145