Gerhard Brewka Nichtmonotone Logiken. Ein einführender Überblick. 188-217 1987 conf/ki/1987kifs1 KIFS db/conf/ki/kifs1987-1.html#Brewka87