A simple model of knowledge compilation | IEEE Journals & Magazine | IEEE Xplore