Steven J. Deitz, Bradford L. Chamberlain, Lawrence Snyder: Eliminating redundancies in sum-of-product array computations. ICS 2001: 65-77