Cita APA (7a ed.)

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

Cita Chicago Style (17a ed.)

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

Cita MLA (9a ed.)

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