@Proceedings{CICM2010,
  editor =       {Autexier, Serge and Calmet, Jacques and Delahaye, David and
                  Ion, Patrick D. F. and Rideau, Laurence and Rioboo, Renaud and
                  Sexton, Alan P.},
  title =        {AISC'10/MKM'10/Calculemus'10: Proceedings of the 10th ASIC and
                  9th MKM international conference, and 17th Calculemus
                  conference on Intelligent computer mathematics},
  year =         2010,
  isbn =         {3-642-14127-7, 978-3-642-14127-0},
  issn =         {0302-9743},
  location =     {Paris, France},
  publisher =    {Springer-Verlag},
  address =      {Berlin, Heidelberg},
  url =          {http://www.springerlink.com/content/978-3-642-14127-0},
  doi =          {10.1007/978-3-642-14128-7},
}