Tableaux and related methods (0)

by R Hähnle
Venue:Handbook of Automated Reasoning