Magnaguagno, M. C.; Meneguzzi, F.; de Silva, L. Hypertension and Total-Order Forward Decomposition Optimizations (Abstract Reprint). AAAI 2026, 40, 39880-39880.