• Extending classical theorem proving for the semantic webTammet, TanelPSSS1 - Practical and Scalable Semantic Systems : proceedings of the First International Workshop on Practical and Scalable Semantic Systems : Sanibel Island, Florida, USA, October 20, 20032003 / [14] p https://www.researchgate.net/publication/2872563_Extending_Classical_Theorem_Proving_for_the_Semantic_Web