@Article{GhiNiRaZu-AMAI-07,
 author = {Silvio Ghilardi and Enrica Nicolini and Silvio Ranise and Daniele Zucchelli},
  title = {Decision Procedures for Extensions of the Theory of Arrays},
journal = {Annals of Mathematics and Artificial Intelligence},
   year = {2007},
 volume = {50},
 number = {3-4},
  pages = {231--254},
}