Luca Aceto Wan Fokkink Rob J. van Glabbeek Anna Ingólfsdóttir Nested semantics over finite trees are equationally hard. 203-232 2004 191 Inf. Comput. 2 http://dx.doi.org/10.1016/j.ic.2004.02.001 db/journals/iandc/iandc191.html#AcetoFGI04