Balancing straight-line programs for strings and trees

From MaRDI portal
Publication:2106614