Khouri, B., & Vizel, Y. (2025). Revisiting DRUP-based Interpolants with CaDiCaL 2.0.
Chicago-Zitierstil (17. Ausg.)Khouri, Basel, und Yakir Vizel. Revisiting DRUP-based Interpolants with CaDiCaL 2.0. 2025.
MLA-Zitierstil (9. Ausg.)Khouri, Basel, und Yakir Vizel. Revisiting DRUP-based Interpolants with CaDiCaL 2.0. 2025.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.