"The Ehrenfeucht-Silberger Problem."

Stepan Holub, Dirk Nowotka (2009)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics