An interactive consistency maintenance system and its logical framework | IEEE Conference Publication | IEEE Xplore