A restricted second order logic for finite structures
scientific article; zbMATH DE number 1220918
scientific article