EUODHILOS: A General-Purpose Reasoning Assistant System - Concept and Implementation. - Toshiro Minami; Hajime Sawamura; Kaoru Satoh; Kyoko Tsuchiya (LP, 1988)