Nonmonotonic reasoning on a constructive time structure | IEEE Conference Publication | IEEE Xplore