TY  - RPRT
TI  - Opaque predicates, veiled sets and their logic
AU  - Decio Krause
AU  - Steven French
PY  - 1998
UR  - https://arxiv.org/abs/quant-ph/9810090
ID  - quant-ph/9810090
ER  -