A theory of nonmonotonic rule systems | IEEE Conference Publication | IEEE Xplore