Arithmetization: A new method in structural complexity theory (1991)

by L Babai, L Fortnow
Venue:Computational Complexity