TY - RPRT TI - Interpolation Theorems for Nonmonotonic Reasoning Systems AU - Eyal Amir PY - 2002 UR - https://arxiv.org/abs/cs/0207064 ID - cs/0207064 ER -