Separating regular languages with first-order logic.

Thomas Place, Marc Zeitoun

Browse the full CSL paper archive.