Separating regular languages with first-order logic (2014)

by T Place, M Zeitoun
Venue:In CSL-LICS’14