A theory of normed simulations
A Comparative Study, Proceedings of the 10th International Conference on Theorem Proving in Higher Order Logics, p
ACM Transactions on Computational Logic
Theorem Provers
Sequences in
Possibly Infinite
Olaf Müller
Frits Vaandrager
Marco Devillers W O