@inproceedings{BembenekGC2023,
  author          = {Aaron Bembenek and Michael Greenberg and Stephen Chong},
  booktitle       = {Proceedings of the 50th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
  title           = {From {SMT} to {ASP}: Solver-Based Approaches to Solving {Datalog} Synthesis-as-Rule-Selection Problems},
  year            = {2023}
}