number calculations and theorem proving (2005)

by C Muñoz, D Lester, “Real
Venue:in 18th International Conference on Theorem Proving in Higher Order Logics