Antoniadis, A., Tsatiris, I., Grech, N., & Smaragdakis, Y. (2025). Universal Scalability in Declarative Program Analysis (with Choice-Based Combination Pruning).
Chicago-Zitierstil (17. Ausg.)Antoniadis, Anastasios, Ilias Tsatiris, Nevill Grech, und Yannis Smaragdakis. Universal Scalability in Declarative Program Analysis (with Choice-Based Combination Pruning). 2025.
MLA-Zitierstil (9. Ausg.)Antoniadis, Anastasios, et al. Universal Scalability in Declarative Program Analysis (with Choice-Based Combination Pruning). 2025.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.