MSO Queries on Trees: Enumerating Answers under Updates Using Forest Algebras - Kleest-Meißner, Sarah; Marasus, Jonas; Niewerth, Matthias (Logical methods in computer science, 2025)