@inproceedings{34aa929822734b2e910f943ae5012316,
title = "Certified Infinite Descent Criteria in Isabelle/HOL",
keywords = "B{\"u}chi automata, Cyclic Proof, Infinite Descent, Size-Change termination",
author = "Jamie Wright and Liron Cohen and Rowe, \{Reuben N.S.\} and Andrei Popescu",
note = "Publisher Copyright: {\textcopyright} Jamie Wright, Liron Cohen, Reuben N. S. Rowe, and Andrei Popescu.; 17th International Conference on Interactive Theorem Proving, ITP 2026 ; Conference date: 26-07-2026 Through 29-07-2026",
year = "2026",
month = jul,
day = "16",
doi = "10.4230/LIPIcs.ITP.2026.14",
language = "English",
series = "Leibniz International Proceedings in Informatics, LIPIcs",
publisher = "Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing",
editor = "Ekaterina Komendantskaya and Ekaterina Komendantskaya and Tobias Nipkow",
booktitle = "17th International Conference on Interactive Theorem Proving, ITP 2026",
}