Regular separability of one counter automata.

Wojciech Czerwinski, Slawomir Lasota

Browse the full LICS paper archive.