TY  - RPRT
TI  - Generalized DBLog: A Verified Contract for Interleaving Copied Rows with a Change Log
AU  - Andreas Andreakis
PY  - 2026
UR  - https://arxiv.org/abs/2609.08160
ID  - 2609.08160
ER  -