Francesco M. Donini Daniele Nardi Riccardo Rosati Ground Nonmonotonic Modal Logics for Knowledge Representation. 133-144 1995 WOCFAI db/conf/wocfai/wocfai1995.html#DoniniNR95