PaperAn application of lattice theory to knowledge representationFrank J. OlesTheoretical Computer Science