ByNobleID
    A Parallel semantics for normal logic programs plus time | NobleID