@misc{indiciae58bf1a5a512a,
  title = {Evaluation of Logic Programs with Built-Ins and Aggregation: A Calculus for Bag Relations},
  author = {Matthew Francis-Landau and Tim Vieira and Jason Eisner},
  year = {2020},
  url = {https://arxiv.org/abs/2010.10503},
  note = {Source identifier: 2010.10503}
}