TY  - RPRT
TI  - Making Formulog Fast: An Argument for Unconventional Datalog Evaluation (Extended Version)
AU  - Aaron Bembenek
AU  - Michael Greenberg
AU  - Stephen Chong
PY  - 2024
UR  - https://arxiv.org/abs/2408.14017
ID  - 2408.14017
ER  -