//-->
On the data structure straight-line program and its implementation in symbolic computation
CastaƱo, Bonifacio, (2000)
A lattice test for additive separability
Polisson, Matthew, (2018)