Intelligent Computer Mathematics<pre>@proceedings{ACRSSW-08-a,
  editor        = {Serge Autexier and John Campbell and Julio Rubio and Volker Sorge and Masakazu  Suzuki and Freek Wiedijk},
  title         = {Intelligent Computer Mathematics},
  volume        = {5144},
  series        = {LNAI},
  publisher     = {Springer},
  address       = {Birmingham, UK},
  month         = {july},
  year          = {2008},
}
</pre>