Effiziente Verarbeitung und Analyse von MSO-Abfragen auf komprimierten Bäumen

Effiziente Enumeration von MSO-Abfragen auf komprimierten Bäumen mit FSLPs.