Tilbage til artikeldetaljer Nested Semantics over Finite Trees are Equationally Hard Download Download PDF