A Skeptic's approach to combining HOL and Maple
scientific article; zbMATH DE number 1234677