TY - RPRT TI - Deterministic Logics for UL AU - Paritosh K. Pandya AU - Simoni S. Shah PY - 2014 UR - https://arxiv.org/abs/1401.2714 ID - 1401.2714 ER -