APA-Zitierstil (7. Ausg.)

Zhang, L., Cerna, D. M., & Kaliszyk, C. (2024). Learning Rules Explaining Interactive Theorem Proving Tactic Prediction.

Chicago-Zitierstil (17. Ausg.)

Zhang, Liao, David M. Cerna, und Cezary Kaliszyk. Learning Rules Explaining Interactive Theorem Proving Tactic Prediction. 2024.

MLA-Zitierstil (9. Ausg.)

Zhang, Liao, et al. Learning Rules Explaining Interactive Theorem Proving Tactic Prediction. 2024.