@misc{indiciae19207f9f6bda,
  title = {Certified Graph View Maintenance with Regular Datalog},
  author = {Angela Bonifati and Stefania Dumbrava and Emilio Jesus Gallego Arias},
  year = {2018},
  url = {https://arxiv.org/abs/1804.10565},
  note = {Source identifier: 1804.10565}
}