Hajdu, M., Kovács, L., & Voronkov, A. (2025). Partial Redundancy in Saturation. In C. Barrett & U. Waldmann (Eds.), Automated Deduction – CADE 30: 30th International Conference on Automated Deduction, Stuttgart, Germany, July 28-31, 2025, Proceedings (pp. 532–551). https://doi.org/10.1007/978-3-031-99984-0_28 ( reposiTUm)

Moosbrugger, M., Müllner, J., Bartocci, E., & Kovacs, L. (2025). Polar: An Algebraic Analyzer for (Probabilistic) Loops. In Principles of Verification: Cycling the Probabilistic Landscape (Vol. 15260, pp. 179–200). https://doi.org/10.1007/978-3-031-75783-9_8 ( reposiTUm)