@InProceedings{SeSoWa-Caculemus09-reasoning-mat,
  author =       {Alan P. Sexton and Volker Sorge and Stephen M. Watt},
  title =        {Reasoning with Generic Cases in the Arithmetic of Abstract
                  Matrices},
  booktitle =    {Proceedings of the 16th Symposium on the Integration of
                  Symbolic Computation and Mechanised Reasoning in the
                  Proceedings of the Conference in Intelligent Computer
                  Mathematics},
  pages =        {138--153},
  year =         2009,
  volume =       5625,
  series =       {LNAI},
  address =      {Grand Bend, Canada},
  month =        {July 6--7},
  publisher =    {Springer},
  isbn =         {978-3-642-02613-3},
  url =          {http://dx.doi.org/10.1007/978-3-642-02614-0_15},
  doi =          {10.1007/978-3-642-02614-0_15},
  pdf =          {http://www.cs.bham.ac.uk/%7Eaps/research/papers/pdf/SeSoWa-Calculemus09-ReasoningWithGenericCasesInTheArithmeticOfAbstractMatrices.pdf},
}