Hajdu, M., Coutelier, R., Kovacs, L., & Voronkov, A. (2025). Term Ordering Diagrams. In C. Barrett & U. Waldmann (Eds.), Automated Deduction – CADE 30: 30th International Conference on Automated Deduction, Stuttgart, Germany, July 28-31, 2025, Proceedings (pp. 552–569). Springer-Verlag. https://doi.org/10.1007/978-3-031-99984-0_29 ( reposiTUm)

Hajdu, M., Hozzová, P., Kovács, L., Voronkov, A., Wagner, E. M., & Žilinčík, R. S. (2025). Synthesis Benchmarks for Automated Reasoning. In V. de Paiva & P. Koepke (Eds.), Intelligent Computer Mathematics : 18th International Conference, CICM 2025 :  Brasilia, Brazil, October 6–10, 2025 :  Proceedings (pp. 21–28). Springer Nature Link. https://doi.org/10.1007/978-3-032-07021-0_2 ( reposiTUm)

Bártek, F., Bhayat, A., Coutelier, R., Hajdu, M., Hetzenberger, M., Hozzová, P., Kovács, L., Rath, J., Rawson, M., Reger, G., Suda, M., Schoisswohl, J., & Voronkov, A. (2025). The Vampire Diary. In R. Piskac & Zvonimir Rakamarić (Eds.), Computer Aided Verification (pp. 57–71). Springer. https://doi.org/10.1007/978-3-031-98682-6_4 ( reposiTUm)

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)