A Skeptic’s Approach to Combining HOL (1998)

by J Harrison, L Théry