A skeptic’s approach to combining HOL and Maple (1998)

by John Harrison, Laurent Théry
Venue:Journal of Automated Reasoning