MGTP: A Model Generation Theorem Prover - Its Advanced Features and Applications.

Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura

Browse the full TABLEAUX paper archive.