@article{relationalactionbasesformalization,
  title = {Relational Action Bases: Formalization, Effective Safety Verification, and Invariants (Extended Version)},
  author = {Silvio Ghilardi and Alessandro Gianola and Marco Montali and Andrey Rivkin},
  year = {2022},
  eprint = {2208.06377},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2208.06377v2},
}