TY - RPRT TI - Decomposable Theories AU - Khalil Djelloul PY - 2006 UR - https://arxiv.org/abs/cs/0607065 ID - cs/0607065 ER -