Non-Failure Analysis for Logic Programs (1997)

by Saumya Debray , Pedro López-García , Manuel Hermenegildo
Venue:ACM Transactions on Programming Languages and Systems
Citations:136 - 14 self