@InProceedings{GhiNiRaZu-JELIA-06,
   author = {Silvio Ghilardi and Enrica Nicolini and Silvio Ranise and Daniele Zucchelli},
    title = {Deciding Extensions of the Theory of Arrays by Integrating Decision Procedures and Instantiation Strategies},
booktitle = {Proceedings of the 10th European Conference on Logic in Artificial Intelligence (JELIA 2006)},
   editor = {Michael Fischer and Wiebe van der Hoek and Boris Konev and Alexei Lisitsa},
     year = {2006},
   series = {Lecture Notes in Computer Science},
   volume = {4160},
    pages = {177--189},
  address = {Liverpool (UK)},
publisher = {Springer},
}