Kompakt træ for Gulbrand Pedersen