@misc{indiciae2561912bf88e,
  title = {Algorithmic correspondence and analytic rules},
  author = {Andrea De Domenico and Giuseppe Greco and Alessandra Palmigiano},
  year = {2025},
  url = {https://arxiv.org/abs/2203.14147},
  note = {Source identifier: 2203.14147}
}