Bolotov, Alexander2022-03-022022-03-022014https://publica.fraunhofer.de/handle/publica/162404Joint Automated Reasoning Workshop and Deduktionstreffen (ARW-DT) 2014. Online resource