Joyce, J.J.Seger, Carl-Johan H.2022-03-022022-03-0219943-540-57826-90-387-57826-9https://publica.fraunhofer.de/handle/publica/130716Higher order logic theorem proving and its applications