@misc{indiciaea5e0f5fd968d,
  title = {Syntax-driven Incremental Program Verification of Matching Logic Properties},
  author = {Domenico Bianculli and Antonio Filieri and Carlo Ghezzi and Dino Mandrioli and Alessandro Maria Rizzi},
  year = {2026},
  url = {https://arxiv.org/abs/2606.08824},
  note = {Source identifier: 2606.08824}
}