@inproceedings{e4547b9c971d4caab26bafeeb089ce63,
title = "Automated reasoning with analytic tableaux and related methods: 24th International Conference, TABLEAUX 2015 Wroc{\l}aw, Poland, September 21-24, 2015 proceedings",
author = "\{De Nivelle\}, Hans",
year = "2015",
language = "English",
isbn = "9783319243115",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
editor = "\{de Nivelle\}, Hans",
booktitle = "Automated Reasoning with Analytic Tableaux and Related Methods - 24th International Conference, TABLEAUX 2015, Proceedings",
address = "Germany",
note = "24th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2015 ; Conference date: 21-09-2015 Through 24-09-2015",
}