V. Wiktor Marek Anil Nerode Jeffrey B. Remmel A Theory of Nonmonotonic Rule Systems conf/lics/LICS5 1990 LICS 79-94 db/conf/lics/lics90.html#MarekNR90