"Optimization of Logic Programs with Dynamic Scheduling."

Germán Puebla et al. (1997)
a service of Schloss Dagstuhl - Leibniz Center for Informatics