@InProceedings{BembenekGC2024, author = {Aaron Bembenek and Michael Greenberg and Stephen Chong}, title = {Making {Formulog} Fast: An Argument for Unconventional {Datalog} Evaluation}, booktitle = {Proceedings of the 2024 {ACM} {SIGPLAN} International Conference on Object-Oriented Programming Languages, Systems, Languages, and Applications}, year = 2024, month = oct, publisher ={ACM Press}, address = {New York, NY, USA}, note = {Distinguished Artifact Award.} }