"Exploiting Term Hiding to Reduce Run-Time Checking Overhead."

Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics