MSO Queries on Trees: Enumerating Answers under Updates Using Forest Algebras. - Sarah Kleest-Meißner; Jonas Marasus; Matthias Niewerth (CoRR, 2022)