Linear preprocessing and output-linear delay enumeration algorithm for MSO-queries on compressed trees.
