"An Automata-Theoretic Approach to Uniform Interpolation and Approximation ..."

Carsten Lutz, Inanç Seylan, Frank Wolter (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics