Bhayat, A., Schoisswohl, J., & Rawson, M. (2024). Superposition with Delayed Unification.
Citazione stile Chigago Style (17a edizione)Bhayat, Ahmed, Johannes Schoisswohl, e Michael Rawson. Superposition with Delayed Unification. 2024.
Citatione MLA (9a ed.)Bhayat, Ahmed, et al. Superposition with Delayed Unification. 2024.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.