The MathServe Framework for Semantic Reasoning Web Services
@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}, }