Grigori Schwarz Miroslaw Truszczynski Nonmonotonic Reasoning is Sometimes Simpler! 295-308 1996 6 J. Log. Comput. 2 db/journals/logcom/logcom6.html#SchwarzT96