Saumya K. Debray, Pedro López-García, Manuel V. Hermenegildo. Non-Failure Analysis for Logic Programs. In ICLP. pages 48-62, 1997.
@inproceedings{DebrayGH97, title = {Non-Failure Analysis for Logic Programs}, author = {Saumya K. Debray and Pedro López-García and Manuel V. Hermenegildo}, year = {1997}, tags = {program analysis, analysis, logic programming, logic}, researchr = {https://researchr.org/publication/DebrayGH97}, cites = {0}, citedby = {0}, pages = {48-62}, booktitle = {ICLP}, }