Nonerasing, counting, and majority over the linear time hierarchy
scientific article; zbMATH DE number 1853254
scientific article