@misc{indiciae32f4ea7eca79,
  title = {Exploiting Term Hiding to Reduce Run-time Checking Overhead},
  author = {Nataliia Stulova and José F. Morales and Manuel V. Hermenegildo},
  year = {2017},
  url = {https://arxiv.org/abs/1705.06662},
  note = {Source identifier: 1705.06662}
}