Aceto L, Fokkink WJ, Glabbeek RJ van, Ingólfsdóttir A. Nested Semantics over Finite Trees are Equationally Hard. BRICS [Internet]. 7. august 2003 [henvist 5. december 2025];10(27). Tilgængelig hos: https://tidsskrift.dk/brics/article/view/21795