@article{DBLP:journals/jsat/BrummayerB09,
  author    = {Robert Brummayer and
               Armin Biere},
  title     = {Lemmas on Demand for the Extensional Theory of Arrays},
  journal   = {{JSAT}},
  volume    = {6},
  number    = {1-3},
  pages     = {165--201},
  year      = {2009}
}