@inproceedings{
    HieMasNie00,
    author = {Hietalahti, Maarit and Massacci, Fabio and Niemel{\"a}, Ilkka},
    title = "{DES}: a Challenge Problem for Nonmonotonic Reasoning Systems",
    booktitle = "Proceedings of the 8th International Workshop on Non-Monotonic Reasoning (cs.AI/0003073)",
    year = "2000",
    month = "April",
    note = "cs.AI/0003039",
    flags = "copy",
    address = "Breckenridge, Colorado, USA"
}