@Article {AlSeSo12-AbstractingSymbolicMatrices,
  author =       {Almomen, Randa and Sexton, Alan P. and Sorge, Volker},
  title =        {Abstracting Symbolic Matrices},
  journal =      {Annals of Mathematics and Artificial Intelligence},
  publisher =    {Springer Netherlands},
  issn =         {1012-2443},
  pages =        {343--368},
  volume =       {64},
  issue =        {4},
  pdf =          {http://www.cs.bham.ac.uk/%7Eaps/research/papers/pdf/AlSeSo-AMAI12-AbstractingSymbolicMatrices.pdf},
  doi =         {10.1007/s10472-012-9299-5},
  year =         {2012}
}