Vishv M. Malhotra An Algorithm for Optimal Back-Striding in Prolog. 147-158 1990 ICLP db/conf/iclp/iclp90.html#Malhotra90