Handbook of tableau methods - Agostino Marcello D; Gabbay Dov M; Hahnle Reiner (Dordrecht Kluwer Academic, 1999)
Keywords: Mathematical logic