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