Monadic second-order logic on tree-like structures
scientific article; zbMATH DE number 1774103