David Chaum. Demonstrating That a Public Predicate Can Be Satisfied Without Revealing Any Information About How. In Andrew M. Odlyzko, editor, Advances in Cryptology - CRYPTO 86, Santa Barbara, California, USA, 1986, Proceedings. Volume 263 of Lecture Notes in Computer Science, pages 195-199, Springer, 1986. [doi]
Abstract is missing.