An Axiomatic Approach to Algebrization.

Published in: Algebraic Methods in Computational Complexity (2009)