[1]
L. Aceto, W. J. Fokkink, R. J. van Glabbeek, and A. Ingólfsdóttir, “Nested Semantics over Finite Trees are Equationally Hard”, BRICS, vol. 10, no. 27, Aug. 2003.