2013
Ulrike Barthelmess, Ulrich Furbach
GI-Jahrestagung 2013: 1077-1084
Ulrich Furbach, Markus Maron
HCI (11) 2013: 270-279
Björn Pelzer
KI 2013: Advances in Artificial Intelligence - 36th Annual German Conference on AI, Koblenz, Germany, 2013.
Markus Bender, Björn Pelzer, Claudia Schon
CADE-24 Proceedings
Björn Pelzer
Doctoral Dissertation
Ulrich Furbach, Claudia Schon
Automated Reasoning with Analytic Tableaux and Related Methods - 22th International Conference, TABLEAUX 2013, Nancy, France, 2013