TY - RPRT TI - Optimizing the computation of overriding AU - Piero Andrea Bonatti AU - Iliana Mineva Petrova AU - Luigi Sauro PY - 2015 UR - https://arxiv.org/abs/1507.04630 ID - 1507.04630 ER -