Infinitary logic and inductive definability over finite structures
scientific article; zbMATH DE number 772335