François Bronsard, T. K. Lakshman, Uday S. Reddy. A Framework of Directionality for Proving Termination of Logic Programs. In JICSLP. pages 321-335, 1992.
@inproceedings{BronsardLR92, title = {A Framework of Directionality for Proving Termination of Logic Programs}, author = {François Bronsard and T. K. Lakshman and Uday S. Reddy}, year = {1992}, tags = {termination, logic programming, logic}, researchr = {https://researchr.org/publication/BronsardLR92}, cites = {0}, citedby = {0}, pages = {321-335}, booktitle = {JICSLP}, }