A comparison of weak completeness notions | IEEE Conference Publication | IEEE Xplore