TY  - RPRT
TI  - A Complete Logic for Database Abstract State Machines
AU  - Flavio Ferrarotti
AU  - Klaus-Dieter Schewe
AU  - Loredana Tec
AU  - Qing Wang
PY  - 2017
UR  - https://arxiv.org/abs/1602.07486
ID  - 1602.07486
ER  -