Divertible and Subliminal-Free Zero-Knowledge Proofs for Languages
M. Burmester, Y. G. Desmedt, T. Itoh, K. Sakurai and H. Shizuya
Volume 12, Number 3, 1999, Pages 197-223