Empowering Non-conservative Parallelizing Refactoring by Non-monotonic Reasoning | IEEE Conference Publication | IEEE Xplore