Coutelier, R., Kovács, L., Rawson, M., & Rath, J. (2024). SAT-Based Subsumption Resolution.
Citazione stile Chigago Style (17a edizione)Coutelier, Robin, Laura Kovács, Michael Rawson, e Jakob Rath. SAT-Based Subsumption Resolution. 2024.
Citatione MLA (9a ed.)Coutelier, Robin, et al. SAT-Based Subsumption Resolution. 2024.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.