APA-Zitierstil (7. Ausg.)

Randall, O., Müller, M., Wei, T. H., & Hayward, R. (2024). Expected Work Search: Combining Win Rate and Proof Size Estimation.

Chicago-Zitierstil (17. Ausg.)

Randall, Owen, Martin Müller, Ting Han Wei, und Ryan Hayward. Expected Work Search: Combining Win Rate and Proof Size Estimation. 2024.

MLA-Zitierstil (9. Ausg.)

Randall, Owen, et al. Expected Work Search: Combining Win Rate and Proof Size Estimation. 2024.

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.