Aceto, L.; Fokkink, W. J.; Glabbeek, R. J. van; Ingólfsdóttir, A. Nested Semantics over Finite Trees Are Equationally Hard. BRICS 2003, 10.