@misc{indiciae50d6130c57fc,
  title = {Nexus Authorization Logic (NAL): Logical Results},
  author = {Andrew K. Hirsch and Michael R. Clarkson},
  year = {2012},
  url = {https://arxiv.org/abs/1211.3700},
  note = {Source identifier: 1211.3700}
}