Arity hierarchies, Ann. Pure and Applied Logic 82 (1996)

by M Grohe