The MathServe Framework for Semantic Reasoning Web Services<pre>@inproceedings{ZA-06-a,
  author        = {J\"urgen Zimmer and Serge Autexier},
  editor        = {U. Furbach and N. Shankar},
  booktitle     = {Proceedings of IJCAR'06},
  title         = {The MathServe Framework for Semantic Reasoning Web Services},
  series        = {LNAI},
  publisher     = {Springer},
  address       = {Seattle, USA},
  pages         = {140--144},
  month         = {august},
  year          = {2006},
}
</pre>