Jan Otop. Anti-pattern Templates. In Clark W. Barrett, Uwe Waldmann, editors, Automated Deduction - CADE 30 - 30th International Conference on Automated Deduction, Stuttgart, Germany, July 28-31, 2025, Proceedings. Volume 15943 of Lecture Notes in Computer Science, pages 614-631, Springer, 2025. [doi]
Abstract is missing.