@TechReport{GhiNiRaZu-RI309-06,
     author = {Silvio Ghilardi and Enrica Nicolini and Silvio Ranise and Daniele Zucchelli},
      title = {Deciding Extension of the Theory of Arrays by Integrating Decision Procedures and Instantiation Strategies},
institution = {Universit\`a degli Studi di Milano},
       year = {2006},
       type = {Rapporto Interno},
     number = {DSI 309-06},
    address = {Milano (Italy)},
       note = {Available at \url{http://homes.dsi.unimi.it/~nicolini/publications/techreport/GhiNiRaZu-RI309-06.pdf}},
}