Some logical characterizations of the dot-depth hierarchy and applications
scientific article; zbMATH DE number 809423