Proof Systems for the Modal μ-Calculus Obtained by Determinizing Automata. - Maurice Dekker; Johannes Kloibhofer; Johannes Marti; Yde Venema (TABLEAUX, 2023)

Barely Decidable Fragments of Planning. - Maurice Dekker; Gregor Behnke (ECAI, 2024)