@misc{indiciae02d7b8b12e56,
  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 = {2023},
  url = {https://arxiv.org/abs/2208.06377},
  note = {Source identifier: 2208.06377}
}