Gunter, E.L.2022-03-022022-03-0219973-540-63379-0https://publica.fraunhofer.de/handle/publica/133647Theorem proving in higher order logic