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

by J Harrison, L Théry
Venue:Journal of Automated Reasoning