TY - RPRT TI - The logical meaning of Expansion AU - Daniel Lehmann PY - 2002 UR - https://arxiv.org/abs/cs/0202033 ID - cs/0202033 ER -