An optimal parallel algorithm for formula evaluationProof complexity in algebraic systems and bounded depth Frege systems with modular counting
