@article{10.1145/3643027,
  title = "Convergence of datalog over (Pre-) Semirings",
  author = "Abo Khamis and Mahmoud and Ngo, Hung Q. and Pichler, Reinhard and Suciu, Dan and Wang, Yisu Remy",
  year = "2024",
  address = "New York, NY, USA",
  issn = "0004-5411",
  journal = "J. ACM",
  keywords = "Datalog, semirings, fixpoint",
  month = "apr",
  number = "2",
  publisher = "Association for Computing Machinery",
  url = "https://doi.org/10.1145/3643027",
  volume = "71",
  doi = "10.1145/3643027",
}