Baumüberprüfbare Graphgrammatiken ermöglichen CMSO-definierbare Graphensprachen mit begrenzter einbettbarer Baumweite.
