APA (7th ed.) Citation

Barbosa, H., & Ringeissen, C. (2025). Proceedings Twentieth International Symposium on Logical and Semantic Frameworks with Applications. Electronic proceedings in theoretical computer science, 430, . https://doi.org/10.48550/ARXIV.2509.23739

Chicago Style (17th ed.) Citation

Barbosa, Haniel, and Christophe Ringeissen. "Proceedings Twentieth International Symposium on Logical and Semantic Frameworks with Applications." Electronic Proceedings in Theoretical Computer Science 430 (2025). https://doi.org/10.48550/ARXIV.2509.23739.

MLA (9th ed.) Citation

Barbosa, Haniel, and Christophe Ringeissen. "Proceedings Twentieth International Symposium on Logical and Semantic Frameworks with Applications." Electronic Proceedings in Theoretical Computer Science, vol. 430, 2025, https://doi.org/10.48550/ARXIV.2509.23739.