CS proofs (extended abstract (1994)

by S Micali
Venue:in Proceedings of the IEEE Symposium on Foundations of Computer Science