Lazy model generation for implementing efficient theorem provers - Hasegawa, Ryuzo; Koshimura, Miyuki; Fujita, Hiroshi (Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report, 1992)