Default assumption reasoning based on DFL.

Jin Huang, Fanzhang Li

Browse the full GRC paper archive.