Cita APA (7a ed.)

Masina, G., Spallitta, G., & Sebastiani, R. (2023). On CNF Conversion for SAT and SMT Enumeration.

Cita Chicago Style (17a ed.)

Masina, Gabriele, Giuseppe Spallitta, y Roberto Sebastiani. On CNF Conversion for SAT and SMT Enumeration. 2023.

Cita MLA (9a ed.)

Masina, Gabriele, et al. On CNF Conversion for SAT and SMT Enumeration. 2023.