TY - RPRT TI - A Fast Algorithm for Consistency Checking Partially Ordered Time AU - Leif Eriksson AU - Victor Lagerkvist PY - 2023 UR - https://arxiv.org/abs/2305.15917 ID - 2305.15917 ER -