Modal propositional tableaux in a model generation theorem prover - Koshimura, Miyuki; Hasegawa, Ryuzo (1993)