Krypton: A Functional Approach to Knowledge Representation | IEEE Journals & Magazine | IEEE Xplore