Cita APA (7a ed.)

Brauße, F., Khasidashvili, Z., & Korovin, K. (2024). SMLP: Symbolic Machine Learning Prover.

Cita Chicago Style (17a ed.)

Brauße, Franz, Zurab Khasidashvili, y Konstantin Korovin. SMLP: Symbolic Machine Learning Prover. 2024.

Cita MLA (9a ed.)

Brauße, Franz, et al. SMLP: Symbolic Machine Learning Prover. 2024.