APA (7th ed.) Citation

Windsteiger, W. (2022, January 3). Automated Theorem Proving in the Classroom. arXiv.org. https://doi.org/10.48550/arxiv.2201.07275

Chicago Style (17th ed.) Citation

Windsteiger, Wolfgang. "Automated Theorem Proving in the Classroom." ArXiv.org 3 Jan. 2022. https://doi.org/10.48550/arxiv.2201.07275.

MLA (9th ed.) Citation

Windsteiger, Wolfgang. "Automated Theorem Proving in the Classroom." ArXiv.org, 3 Jan. 2022, https://doi.org/10.48550/arxiv.2201.07275.