Strict Polynomial-time in Simulation and Extraction (2002)

by B Barak, Y Lindell
Venue:In 34th ACM Symp. on Theory of Computing