![](https://media.springernature.com/w90/springer-static/cover/journal/10817/38/1.jpg?as=webp)
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