Default assumption reasoning based on DFL | IEEE Conference Publication | IEEE Xplore