@InProceedings{SeSo07arw,
  author =       {Alan P. Sexton and Volker Sorge},
  title =        {Reasoning on Abstract Matrix Structures},
  booktitle =    {Proceedings of the 15th Workshop on Automated
                  Reasoning: Bridging the Gap between Theory and
                  Practice},
  year =         2008,
  editor =       {Louise Dennis and Volker Sorge},
  address =      {University of Birmingham, UK},
  month =        {July 30--31},
  note =         {Extended Abstract},
}