"Using Combined Static Analysis and Profiling for Logic Program Execution ..."

Edison Mera et al. (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics