Klaus U. Schulz Preferential cumulative reasoning and nonmonotonic semantic nets. 223-240 1989 conf/ltc/1989 The Logic of Theory Change db/conf/ltc/ltc1989.html#Schulz89 https://doi.org/10.1007/BFb0018423