Dear colleagues,
a new preprint "A reduction of proof complexity
to computational complexity for AC^0[p] Frege
systems" is available via the ArXiv or via my
web page. Comments are, of course, welcome.
Regards,
Jan