Toniann Pitassi. Algebraic Propositional Proof Systems. In Neil Immerman, Phokion G. Kolaitis, editors, Descriptive Complexity and Finite Models, Proceedings of a DIMACS Workshop, January 14-17, 1996, Princeton University. Volume 31 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, pages 215-244, American Mathematical Society, 1996.
Abstract is missing.