Window Inference In The HOL System | IEEE Conference Publication | IEEE Xplore