@misc{indiciae6f0a24ebba34,
  title = {Generalized DBLog: A Verified Contract for Interleaving Copied Rows with a Change Log},
  author = {Andreas Andreakis},
  year = {2026},
  url = {https://arxiv.org/abs/2609.08160},
  note = {Source identifier: 2609.08160}
}