Grigori Schwarz Miroslaw Truszczynski Nonmonotonic Reasoning is Sometimes Simpler. 313-324 1993 conf/kgc/1993 Kurt Gödel Colloquium db/conf/kgc/kgc93.html#SchwarzT93