Logics for complexity classes
scientific article; zbMATH DE number 6997891