CC 2001Array Unification: A Locality Optimization TechniqueMahmut T. KandemirPDFDOI 10.1007/3-540-45306-7_18dblpBibTeXAbstract elided by the publisher.