Naomi Lindenstrauss, Yehoshua Sagiv. Automatic Termination Analysis of Logic Programs. In ICLP. pages 63-77, 1997.
@inproceedings{LindenstraussS97, title = {Automatic Termination Analysis of Logic Programs}, author = {Naomi Lindenstrauss and Yehoshua Sagiv}, year = {1997}, tags = {program analysis, analysis, termination, logic programming, logic}, researchr = {https://researchr.org/publication/LindenstraussS97}, cites = {0}, citedby = {0}, pages = {63-77}, booktitle = {ICLP}, }