Khouri, B., & Vizel, Y. (2025). Revisiting DRUP-based Interpolants with CaDiCaL 2.0.
Citazione stile Chigago Style (17a edizione)Khouri, Basel, e Yakir Vizel. Revisiting DRUP-based Interpolants with CaDiCaL 2.0. 2025.
Citatione MLA (9a ed.)Khouri, Basel, e Yakir Vizel. Revisiting DRUP-based Interpolants with CaDiCaL 2.0. 2025.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.