Handbook of Tableau Methods (1999)

by D M Gabbay, R Hähnle, J Posegga