A Comparative Study, Proceedings of the 10th International Conference on Theorem Proving in Higher Order Logics, p

Marco Devillers , W. O. David Griffioen , Olaf Müller, Possibly Infinite Sequences in Theorem Provers: A Comparative Study, Proceedings of the 10th International Conference on Theorem Proving in Higher Order Logics, p.89-104, August 19-22, 1997

1997