Tableaux and Related Methods (2001)

by R Hähnle
Venue:Handbook of Automated Reasoning