Handbook of Tableau Methods (1999)

by Marcello D’Agostino, Dov M Gabbay, Reiner Hähnle, Joachim Posegga