"Structure of Complexity in the Weak Monadic Second-Order Theories of the ..."

Edward L. Robertson (1974)
a service of Schloss Dagstuhl - Leibniz Center for Informatics