TY  - RPRT
TI  - FormuLog: Datalog for static analysis involving logical formulae
AU  - Aaron Bembenek
AU  - Stephen Chong
PY  - 2018
UR  - https://arxiv.org/abs/1809.06274
ID  - 1809.06274
ER  -