Christoph Lange 0002 Sean McLaughlin Florian Rabe Flyspeck in a Semantic Wiki. 2008 SemWiki http://ceur-ws.org/Vol-360/paper-21.pdf conf/semwiki/2008 db/conf/semwiki/semwiki2008.html#0002MR08