@misc{indiciaeff2f777fa03a,
  title = {Opaque predicates, veiled sets and their logic},
  author = {Decio Krause and Steven French},
  year = {1998},
  url = {https://arxiv.org/abs/quant-ph/9810090},
  note = {Source identifier: quant-ph/9810090}
}