TY - RPRT TI - Dyck algebras, interval temporal logic and posets of intervals AU - Luca Ferrari PY - 2015 UR - https://arxiv.org/abs/1503.04991 ID - 1503.04991 ER -