APA (7th ed.) Citation

Khouri, B., & Vizel, Y. (2025). Revisiting DRUP-based Interpolants with CaDiCaL 2.0.

Chicago Style (17th ed.) Citation

Khouri, Basel, and Yakir Vizel. Revisiting DRUP-based Interpolants with CaDiCaL 2.0. 2025.

MLA (9th ed.) Citation

Khouri, Basel, and Yakir Vizel. Revisiting DRUP-based Interpolants with CaDiCaL 2.0. 2025.

Warning: These citations may not always be 100% accurate.