Cita APA (7a ed.)

Feng, N., Marsso, L., & Chechik, M. (2024). Diagnosis via Proofs of Unsatisfiability for First-Order Logic with Relational Objects.

Cita Chicago Style (17a ed.)

Feng, Nick, Lina Marsso, y Marsha Chechik. Diagnosis via Proofs of Unsatisfiability for First-Order Logic with Relational Objects. 2024.

Cita MLA (9a ed.)

Feng, Nick, et al. Diagnosis via Proofs of Unsatisfiability for First-Order Logic with Relational Objects. 2024.