On the data structure straight-line program and its implementation in symbolic computation | Publicación