MDGs Reduction Technique Based on the HOL Theorem Prover | IEEE Conference Publication | IEEE Xplore