Yasuyuki Koga Eiju Hirowatari Setsuo Arikawa Explanation-Based Reuse of Prolog Programs. 149-160 1994 conf/alt/1994 AII/ALT db/conf/alt/alt1994.html#KogaHA94 http://dx.doi.org/10.1007/3-540-58520-6_61