Saumya K. Debray Static Analysis of Logic Programs. 43-44 1993 ILPS db/conf/slp/slp93.html#Debray93