Vishv M. Malhotra. An Algorithm for Optimal Back-Striding in Prolog. In ICLP. pages 147-158, 1990.
@inproceedings{Malhotra90, title = {An Algorithm for Optimal Back-Striding in Prolog}, author = {Vishv M. Malhotra}, year = {1990}, tags = {Prolog}, researchr = {https://researchr.org/publication/Malhotra90}, cites = {0}, citedby = {0}, pages = {147-158}, booktitle = {ICLP}, }