Cita APA (7a ed.)

Areces, C. E., Fontaine, P., & Merz, S. (2021). Modal satisfiability via SMT solving.

Cita Chicago Style (17a ed.)

Areces, Carlos Eduardo, Pascal Fontaine, y Stephan Merz. Modal Satisfiability via SMT Solving. 2021.

Cita MLA (8a ed.)

Areces, Carlos Eduardo, et al. Modal Satisfiability via SMT Solving. 2021.