Cita APA (7a ed.)

Ahvonen, V., Jaakkola, R., & Kuusisto, A. (2025). Formula size game and model checking for modal substitution calculus.

Cita Chicago Style (17a ed.)

Ahvonen, Veeti, Reijo Jaakkola, y Antti Kuusisto. Formula Size Game and Model Checking for Modal Substitution Calculus. 2025.

Cita MLA (9a ed.)

Ahvonen, Veeti, et al. Formula Size Game and Model Checking for Modal Substitution Calculus. 2025.