Rawson, M., Eisenhofer, C., & Kovács, L. (2026). Constraint Learning for Non-confluent Proof Search.
Chicago-Zitierstil (17. Ausg.)Rawson, Michael, Clemens Eisenhofer, und Laura Kovács. Constraint Learning for Non-confluent Proof Search. 2026.
MLA-Zitierstil (9. Ausg.)Rawson, Michael, et al. Constraint Learning for Non-confluent Proof Search. 2026.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.