Strict Polynomial-Time in Simulation and Extraction (2002)

by B Barak, Y Lindell
Venue:In ACM Symposium on Theory of Computing