Uniform definability on finite structures with successor (1984)

by M de Rougemont
Venue:In Proc. 16th ACM Symp. on Theory of Computing