The MathServe System for Semantic Web Reasoning Services (2006)

by Jürgen Zimmer, Serge Autexier
Venue:3rd IJCAR, LNCS 4130