THE MATHEMATICS OF INHERITANCE SYSTEMS - Touretzky, David S
Keywords: Computer Architecture; Artificial Intelligence; Logic, Symbolic And Mathematical