Lingzhong Zhao Tianlong Gu Junyan Qian Goal-independent Semantics for Path Dependent Analysis of Prolog Programs. 261-272 2007 conf/tase/2007 TASE http://doi.ieeecomputersociety.org/10.1109/TASE.2007.30 db/conf/tase/tase2007.html#ZhaoGQ07