Transparent (holographic) proofs (1993)

by L Babai
Venue:Proceedings of the Tenth Annual Symposium on Theoretical Aspects of Computer Science, Lecture Notes in Computer Science