OpenAlex
Index Sets for n-Decidable Structures Categorical Relative to m-Decidable Presentations
Work