2022-03-012022-03-01https://publica.fraunhofer.de/handle/publica/53737International Conference on Theorem Proving in Higher Order Logics (TPHOLs) 1996