Giesl, Jürgen2018-01-082018-01-0820102010https://dl.gi.de/handle/20.500.12116/11124Special Issue on Automated DeductionText/Journal Article1610-1987