Joeri Engelfriet Non-cumulative reasoning: rules and models. 705-719 2000 10 J. Log. Comput. 5 db/journals/logcom/logcom10.html#Engelfriet00