@InProceedings{CaSeSoWa10-SymbolicDomainDecomposition,
  author =       {Carette, Jacques and Sexton, Alan P. and Sorge, Volker and
                  Watt, Stephen M.},
  title =        {Symbolic domain decomposition},
  booktitle =    {Proceedings of the 10th ASIC and 9th MKM international
                  conference, and 17th Calculemus conference on Intelligent
                  computer mathematics},
  series =       {AISC'10/MKM'10/Calculemus'10},
  year =         2010,
  isbn =         {3-642-14127-7, 978-3-642-14127-0},
  location =     {Paris, France},
  pages =        {172--188},
  numpages =     17,
  url =          {http://www.springerlink.com/content/p8231723028t7v5j/},
  acmid =        1894501,
  publisher =    {Springer-Verlag},
  address =      {Berlin, Heidelberg},
  doi =          {10.1007/978-3-642-14128-7_16},
  pdf =          {http://www.cs.bham.ac.uk/%7Eaps/research/papers/pdf/CaSeSoWa10-Calculemus10-SymbolicDomainDecomposition.pdf},
}