An Implementation of the Propositional Part of Krapfen, a Hybrid Knowledge Representation System. - Daniela D'Aloisi; O. Stock; A. Tuozzi (ISMIS, 1988)