"Flat and One-Variable Clauses for Single Blind Copying Protocols: The XOR ..."

Helmut Seidl, Kumar Neeraj Verma (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics