Some remarks on computing consistent extensions of dynamic information systems | IEEE Conference Publication | IEEE Xplore