Aceto, Luca, Willem Jan Fokkink, Rob J. van Glabbeek, and Anna Ingólfsdóttir. “Nested Semantics over Finite Trees Are Equationally Hard”. BRICS Report Series 10, no. 27 (August 7, 2003). Accessed November 29, 2022. https://tidsskrift.dk/brics/article/view/21795.