TY  - RPRT
TI  - Certified Graph View Maintenance with Regular Datalog
AU  - Angela Bonifati
AU  - Stefania Dumbrava
AU  - Emilio Jesus Gallego Arias
PY  - 2018
UR  - https://arxiv.org/abs/1804.10565
ID  - 1804.10565
ER  -