Citazione Stile APA (7a Edizione)

Janota, M., Piotrowski, B., & Chvalovský, K. (2025). Towards Learning Infinite SMT Models (Work in Progress).

Citazione stile Chigago Style (17a edizione)

Janota, Mikoláš, Bartosz Piotrowski, e Karel Chvalovský. Towards Learning Infinite SMT Models (Work in Progress). 2025.

Citatione MLA (9a ed.)

Janota, Mikoláš, et al. Towards Learning Infinite SMT Models (Work in Progress). 2025.