. "Method of analytic tableaux" . "semantic tableaux" . "tableau method" . "Method of analytic tableaux" . . "tableaux prover" . . "tableaux method" . "analytic tableau" . "tableau calculi" . . "tableaux" . "method of semantic tableaux" . . . "truth trees" . "method of analytic tableaux" . "proof-trees" . "Tableaux" .