TY  - RPRT
TI  - Exploiting Term Hiding to Reduce Run-time Checking Overhead
AU  - Nataliia Stulova
AU  - José F. Morales
AU  - Manuel V. Hermenegildo
PY  - 2017
UR  - https://arxiv.org/abs/1705.06662
ID  - 1705.06662
ER  -