Isbn: 9783642221187 - automated reasoning with analytic tableaux and related methods: 20th international conference, tableaux 2011, bern, switzerland, july 4-8, 2011, ... notes in computer science, 6793, band 6793) (1 Ergebnisse)