TY  - RPRT
TI  - Universal Scalability in Declarative Program Analysis (with Choice-Based Combination Pruning)
AU  - Anastasios Antoniadis
AU  - Ilias Tsatiris
AU  - Nevill Grech
AU  - Yannis Smaragdakis
PY  - 2025
UR  - https://arxiv.org/abs/2503.05945
ID  - 2503.05945
ER  -