Lunjin Lu Path dependent analysis of logic programs. 63-74 2002 PEPM http://doi.acm.org/10.1145/503032.503038 db/conf/pepm/pepm2002.html#Lu02