"The Structure of Models of Decidable Monadic Theories of Graphs."

Detlef Seese (1991)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics