@inproceedings{borsetto-zorzi-2025-namor,
  author    = {Borsetto, Riccardo and Zorzi, Margherita},
  title     = {{NAMOR: a New Agda Library for Modal Extended Sequents}},
  booktitle = {{Proceedings of OVERLAY 2025 (7th Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis)}},
  address   = {Bologna},
  publisher = {CEUR Workshop Proceedings Vol-4142},
  pages     = {33--40},
  year      = {2025},
  url       = {https://ceur-ws.org/Vol-4142/paper4.pdf},
  pubstate  = {Published, 2025}
}

@inproceedings{borsetto-zorzi-2025-ictcs,
  author    = {Borsetto, Riccardo and Zorzi, Margherita},
  title     = {{An Agda Implementation of the Modal Logic S4.2: First Investigations}},
  booktitle = {{Proceedings of ICTCS 2025 (26th Italian Conference on Theoretical Computer Science)}},
  address   = {Pescara},
  publisher = {CEUR Workshop Proceedings Vol-4039},
  pages     = {163--168},
  year      = {2025},
  url       = {https://ceur-ws.org/Vol-4039/#paper17},
  pubstate  = {Published, 2025}
}

% <!-- TODO: Add the Springer LNCS volume and pages when published. -->
@inproceedings{borsetto-fellin-uustalu-wan-2026-glivenko,
  author    = {Borsetto, Riccardo and Fellin, Giulio and Uustalu, Tarmo and Wan, Cheng-Syuan},
  title     = {{Glivenko's theorem underneath structure}},
  booktitle = {{CiE 2026 (Computability in Europe)}},
  address   = {Trier},
  publisher = {Springer LNCS},
  series    = {Lecture Notes in Computer Science},
  volume    = {16674},
  pages     = {162--177},
  doi       = {10.1007/978-3-032-31348-5_11},
  year      = {2026},
  pubstate  = {Published, 2026}
}

@article{borsetto-zorzi-s4dot2-jlc,
  author  = {Borsetto, Riccardo and Zorzi, Margherita},
  title   = {{Metamathematics of the Modal Logic S4.2 in the Agda Proof Assistant}},
  journal = {Journal of Logic and Computation},
  year    = {2026},
  pubstate = {Submitted to the Journal of Logic and Computation, 2026}
}