Potential of General-Purpose Reasoning Assistant System EUODHILOS. - Hajime Sawamura; Toshiro Minami; Kaoru Yokota; Kyoko Ohashi (Software Science and Engineering, 1991)