The NP Search Problems of Frege and Extended Frege Proofs - Arnold Beckmann (ACM Transactions on Computational Logic, 2017)