Capturing complexity classes by fragments of second-order logic
scientific article; zbMATH DE number 64582
scientific article