@misc{indiciae3656c557d1f6,
  title = {Tabular intermediate logics comparison},
  author = {Paweł Rzążewski and Michał Stronkowski},
  year = {2025},
  doi = {10.1007/978-3-031-99536-1\_20},
  url = {https://arxiv.org/abs/2509.06841},
  note = {Source identifier: 2509.06841}
}