Free algebras of discriminator varieties generated by finite algebras are atomic - H. Andréka; I. Németi (2016)