Return to Article Details Nested Semantics over Finite Trees are Equationally Hard Download Download PDF