@inproceedings{mci/Otten2014,
author = {Otten, Jens},
title = {Konnektionskalküle für automatisches Beweisen in klassischen und nicht-klassischen Logiken},
booktitle = {Ausgezeichnete Informatikdissertationen 2013},
year = {2014},
editor = {} ,
pages = { 161-170 },
publisher = {Gesellschaft für Informatik},
address = {Bonn}
}