Towards Run-time Checks Simplification via Term Hiding.

Nataliia Stulova, Jos F. Morales, Manuel V. Hermenegildo

Browse the full ICLP paper archive.