Kompakt træ for Knud Hald Sejersen