TY  - RPRT
TI  - Constant-Depth Frege Systems with Counting Axioms Polynomially Simulate Nullstellensatz Refutations
AU  - Russell Impagliazzo
AU  - Nathan Segerlind
PY  - 2003
UR  - https://arxiv.org/abs/cs/0308012
ID  - cs/0308012
ER  -