TY - RPRT TI - Imparo is complete by inverse subsumption AU - David Toth PY - 2014 UR - https://arxiv.org/abs/1407.3836 ID - 1407.3836 ER -