"Regular Realizability Problems and Context-Free Languages."

Alexander A. Rubtsov, Mikhail N. Vyalyi (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics