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

by J Harrison, L Th'ery
Venue:Journal of Automated Reasoning