Exploiting Term Hiding to Reduce Run-time Checking Overhead | Publicación