Seol mar théacs é seo: Konstruktive Darstellungstheorie und Algorithmengenerierung /