Cumulative Default Logic: Finite Characterization‚ Algorithms‚ and Complexity - Gottlob, G; Mingyi, Z (1994)