Non-transitive transfer of confidence: A perfect zero-knowledge interactive protocol for SAT and beyond (1987)

by G Brassard, C Crépeau
Venue:In 28th Annual IEEE Symposium on Foundations of Computer Science (FOCS