@misc{indiciae08a609bc5c7a,
  title = {Interpolation and Quantifiers in Ortholattices},
  author = {Simon Guilloud and Sankalp Gambhir and Viktor Kunčak},
  year = {2025},
  doi = {10.1007/978-3-031-50524-9\_11},
  url = {https://arxiv.org/abs/2507.11141},
  note = {Source identifier: 2507.11141}
}