@InProceedings{BembenekGC2020,
  author = 	 {Aaron Bembenek and Michael Greenberg and Stephen Chong},
  title = 	 {Formulog: {Datalog} for {SMT}-based Static Analysis},
  booktitle =	 {Proceedings of the 2020 {ACM} {SIGPLAN} International Conference on Object-Oriented Programming Languages, Systems, Languages, and Applications},
  year = 	 2020,
  month = 	 nov,
  publisher =    {ACM Press},
  address = 	 {New York, NY, USA}
}