Modulo-counting quantifiers over finite trees
scientific article; zbMATH DE number 567728
scientific article