@misc{indiciaecdcd48cbbec9, title = {Imparo is complete by inverse subsumption}, author = {David Toth}, year = {2014}, url = {https://arxiv.org/abs/1407.3836}, note = {Source identifier: 1407.3836} }