1. Lecture Notes in Artificial Intelligence;J. Zimmer,2002
2. Martin, D., et al.: OWL-S: Semantic Markup for Web Services (2004),
http://www.daml.org/services/owl-s/1.1/overview
3. Schreiner, W., Caprotti, O.: The MathBroker Project (2001),
http://poseidon.risc.uni-linz.ac.at:8080/mathbroker/
4. Bechhofer, S., van Harmelen, F., Hendler, F.U.A.J., Horrocks, I., McGuinness, D.L., Patel-Schneider, P.F., Stein, L.A.: OWL Web Ontology Language Reference (2004),
http://www.w3.org/TR/owl-ref/
5. Sutcliffe, G.: The CADE-20 Automated Theorem Proving Competition. AI Communications (2006)