Volume 38, Issue 1-3
April 2007Special Issue on Automated Reasoning with Analytic Tableaux
11 articles in this issue
Special Issue on Automated Reasoning with Analytic Tableaux