Buobe
    Uncovering ghouls using Answer Set Programming | Buobe