Ryuzo Hasegawa Hiroshi Fujita Miyuki Koshimura MGTP: A Model Generation Theorem Prover - Its Advanced Features and Applications. 1-15 1997 conf/tableaux/1997 TABLEAUX db/conf/tableaux/tableaux97.html#HasegawaFK97