@misc{indiciaefd8e81936352,
  title = {FormuLog: Datalog for static analysis involving logical formulae},
  author = {Aaron Bembenek and Stephen Chong},
  year = {2018},
  url = {https://arxiv.org/abs/1809.06274},
  note = {Source identifier: 1809.06274}
}