OR-ATP: An Operation Refinement Approach As a Process of Automatic Theorem Proving | IEEE Conference Publication | IEEE Xplore