Cezary Kaliszyk Pierre Corbineau Freek Wiedijk James McKinna Herman Geuvers A Real Semantic Web for Mathematics Deserves a Real Semantics. 2008 SemWiki http://ceur-ws.org/Vol-360/paper-16.pdf conf/semwiki/2008 db/conf/semwiki/semwiki2008.html#KaliszykCWMG08