Back-end technology for high-performance knowledge-representation systems | IEEE Journals & Magazine | IEEE Xplore