TY  - JOUR
AU  - Pitassi, Toniann
TI  - Unsolvable systems of equations and proof complexity
JO  - Documenta mathematica
PY  - 1998
SP  - 451
EP  - 460
VL  - ICM Berlin 1998, Vol. III
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/DOCMA_1998__S9__a34/
LA  - en
ID  - DOCMA_1998__S9__a34
ER  -