Reasoning about Global Clones: Scalable Semantic Clone Detection | IEEE Conference Publication | IEEE Xplore