Citazione Stile APA (7a Edizione)

Feng, N., Hu, A. J., Bayless, S., Iqbal, S. M., Trentin, P., Whalen, M., . . . Backes, J. (2024). DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Theories.

Citazione stile Chigago Style (17a edizione)

Feng, Nick, Alan J. Hu, Sam Bayless, Syed M. Iqbal, Patrick Trentin, Mike Whalen, Lee Pike, e John Backes. DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Theories. 2024.

Citatione MLA (9a ed.)

Feng, Nick, et al. DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Theories. 2024.