Cumulative default logic: In defense of nonmonotonic inference rules (1991)

by G Brewka
Venue:Artificial Intelligence