Piotr Rychlik Some Variations on Default Logic. 373-378 1991 AAAI db/conf/aaai/aaai91-1.html#Rychlik91