Title: Handbook of tableau methods
Subjects: Symbolic and mathematical Logic, Automatic theorem proving, Mathematics, methodology, Science