AN EXTENDED JOINT CONSISTENCY THEOREM FOR FREE LOGIC WITH EQUALITYGUMB RD.1979; NOTRE DAME J. FORM. LOGIC; USA; DA. 1979; VOL. 20; NO 2; PP. 321-335; BIBL. 4 REF.Article

LOGICAL TECHNIQUES FOR PINPOINTING INCONSISTENCIES IN THE KNOWLEDGE BASEGUMB MA; GUMB RD.1978; INFORMATION AGE IN PERSPECTIVE. AMERICAN SOCIETY FOR INFORMATION SCIENCE. ANNUAL MEETING. 41/1978/NEW YORK, NY; USA; WHITE PLAINS, NY: KNOWLEDGE INDUSTRY PUBLICATIONS; DA. 1978; PP. 150-151; BIBL. 4 REF.Conference Paper