"An Algorithm for Optimal Back-Striding in Prolog."

Vishv M. Malhotra (1990)
a service of Schloss Dagstuhl - Leibniz Center for Informatics