Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures. - Luisa Herrmann 001; Vincent Peth; Sebastian Rudolph (CSL, 2024)