A logic-based theory of deductive arguments. (2001)

by P Besnard, A Hunter
Venue:Artificial Intelligence