DES: a Challenge Problem for Nonmonotonic Reasoning Systems (2000)
Hietalahti Maarit , Massacci Fabio , Niemelä Ilkka