TY - RPRT TI - A Compact Representation for Modular Semilattices and its Applications AU - Hiroshi Hirai AU - So Nakashima PY - 2017 UR - https://arxiv.org/abs/1705.05781 ID - 1705.05781 ER -