No. 27 (2003): RS-27 Nested Semantics over Finite Trees are Equationally Hard

Published: 2003-01-27

Articles