Cita APA (7a ed.)

Khodier, M., Schaeffer, L., & Shallit, J. (2025). Self-Verifying Predicates in Büchi Arithmetic.

Cita Chicago Style (17a ed.)

Khodier, Mazen, Luke Schaeffer, y Jeffrey Shallit. Self-Verifying Predicates in Büchi Arithmetic. 2025.

Cita MLA (9a ed.)

Khodier, Mazen, et al. Self-Verifying Predicates in Büchi Arithmetic. 2025.