The nature and significance of knowledge compilation | IEEE Journals & Magazine | IEEE Xplore