Bibel, W.W.Bibel2022-03-072022-03-071991https://publica.fraunhofer.de/handle/publica/286659en004005006Perspectives on automated deductionreport