| Original language | English |
|---|---|
| Title of host publication | Automated reasoning with analytic tableaux and related methods |
| Editors | D. Galmiche, D. Larchey-Wendling |
| Place of Publication | Heidelberg |
| Publisher | Springer |
| Pages | 81-96 |
| ISBN (Print) | 9783642221187 |
| Publication status | Published - 2013 |
Publication series
| Name | Lecture notes in computer science |
|---|---|
| Volume | 8123 |
| ISSN (Print) | 0302-9743 |