Ci formulae on finite structures, Ann. Pure Applied Logic 24 (1983)

by M AJTAI