@InProceedings{SeSo05arw,
  author =       {Alan P. Sexton and Volker Sorge},
  title =        {Abstract matrices and constraints},
  booktitle =    {Proceedings of the 12th Workshop on Automated
                  Reasoning: Bridging the Gap between Theory and
                  Practice},
  year =         2005,
  editor =       {Dave Berry and Alan Bundy and Jacques Fleuriot},
  address =      {University of Edinburgh, UK},
  month =        {July},
}