@inproceedings{BrummayerBiere-SMT08,
  author   = {Robert Brummayer and Armin Biere},
  title    = {{Lemmas on Demand for the Extensional Theory of Arrays}},
  booktitle = {Proceedings of the 6th International Workshop on Satisfiability
               Modulo Theories, {SMT} 2008,
               affiliated with the 20th International Conference on
               Computer Aided Verification, {CAV} 2008,
               Princeton, NJ, USA, July 7-8, 2008},
  year      = {2008}
}