A Comparative Study, Proceedings of the 10th International Conference on Theorem Proving in Higher Order Logics, p
Theorem Provers
David Griffioen
Possibly Infinite
Olaf Müller
Marco Devillers W O
A theory of normed simulations