Dilger, W.W.Dilger2022-03-082022-03-081985https://publica.fraunhofer.de/handle/publica/313810en004ASSIP-T - a theorem proving machineconference paper