# Automated Reasoning with Analytic Tableaux and Related Methods

Overview of attention for book
Attention for Chapter 12: A Tableau-Based Decision Procedure for a Fragment of Set Theory Involving a Restricted Form of Quantification