@misc{indiciae8c66c9a014d3,
  title = {Fixing Incremental Computation: Derivatives of Fixpoints, and the Recursive Semantics of Datalog},
  author = {Mario Alvarez-Picallo and Alex Eyers-Taylor and Michael Peyton Jones and C. -H. Luke Ong},
  year = {2018},
  url = {https://arxiv.org/abs/1811.06069},
  note = {Source identifier: 1811.06069}
}