APA (7th ed.) Citation

Quaresma, P., Marcos, J., & Neuper, W. (2023, March 9). Proceedings 11th International Workshop on Theorem Proving Components for Educational Software. arXiv.org. https://doi.org/10.48550/arxiv.2303.05360

Chicago Style (17th ed.) Citation

Quaresma, Pedro, João Marcos, and Walther Neuper. "Proceedings 11th International Workshop on Theorem Proving Components for Educational Software." ArXiv.org 9 Mar. 2023. https://doi.org/10.48550/arxiv.2303.05360.

MLA (9th ed.) Citation

Quaresma, Pedro, et al. "Proceedings 11th International Workshop on Theorem Proving Components for Educational Software." ArXiv.org, 9 Mar. 2023, https://doi.org/10.48550/arxiv.2303.05360.