Habermehl, P., Havlena, V., Hečko, M., Holík, L., & Lengál, O. (2024). Algebraic Reasoning Meets Automata in Solving Linear Integer Arithmetic (Technical Report).
Chicago-Zitierstil (17. Ausg.)Habermehl, Peter, Vojtěch Havlena, Michal Hečko, Lukáš Holík, und Ondřej Lengál. Algebraic Reasoning Meets Automata in Solving Linear Integer Arithmetic (Technical Report). 2024.
MLA-Zitierstil (9. Ausg.)Habermehl, Peter, et al. Algebraic Reasoning Meets Automata in Solving Linear Integer Arithmetic (Technical Report). 2024.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.