Carsten Fuhs, Liye Guo, Cynthia Kop. An Innermost DP Framework for Constrained Higher-Order Rewriting. In Maribel Fernández, editor, 10th International Conference on Formal Structures for Computation and Deduction, FSCD 2025, July 14-20, 2025, Birmingham, UK. Volume 337 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025. [doi]
Abstract is missing.