MGTP, a parallel theorem prover based on lazy model generation - Hasegawa, Ryuzo; Koshimura, Miyuki; Fujita, Hiroshi (1992)