"Efficient Local Unfolding with Ancestor Stacks for Full Prolog."

Germán Puebla, Elvira Albert, Manuel V. Hermenegildo (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics