APA (7th ed.) Citation

Axelrod, G., Johansson, M., & Smallbone, N. (2026). Twitch: Learning Abstractions for Equational Theorem Proving.

Chicago Style (17th ed.) Citation

Axelrod, Guy, Moa Johansson, and Nicholas Smallbone. Twitch: Learning Abstractions for Equational Theorem Proving. 2026.

MLA (9th ed.) Citation

Axelrod, Guy, et al. Twitch: Learning Abstractions for Equational Theorem Proving. 2026.