@misc{indiciaef01ee30647fc,
  title = {First-Order Logic for Flow-Limited Authorization},
  author = {Andrew K. Hirsch and Pedro H. Azevedo de Amorim and Ethan Cecchetti and Ross Tate and Owen Arden},
  year = {2020},
  doi = {10.1109/csf49147.2020.00017},
  url = {https://arxiv.org/abs/2001.10630},
  note = {Source identifier: 2001.10630}
}