Lazy model generation for improving the efficiency of forward reasoning theorem provers - Hasegawa, Ryuzo; Koshimura, Miyuki; Fujita, Hiroshi (1992)