@InProceedings{BembenekGC2022,
  author = 	{Aaron Bembenek and Michael Greenberg and Stephen Chong},
  title = 	{Formulog: {Datalog} + {SMT} + {FP}},
  booktitle = 	{Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry},
  year = 	2022,
  month = 	sep,
  publisher =   {CEUR Workshop Proceedings},
  address = {Aachen}
}