MGTP: A Parallel Theorem Prover Based on Lazy Model Generation.

Ryuzo Hasegawa, Miyuki Koshimura, Hiroshi Fujita

Browse the full CADE paper archive.