A semantics-based exploratory game to enrich school classes with relevant historical facts | IEEE Conference Publication | IEEE Xplore