The descriptive complexity of decision problems through logics with relational fixed-point and capturing results
scientific article; zbMATH DE number 6862973
scientific article