@Unpublished{GhiNiRaZu-PDPAR-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},
     year = {2006},
     note = {In \textit{Pragmatics of Decision Procedures in Automated Reasoning (PDPAR 2006)}. Presentation-only paper. Seattle (USA)},
}