Leon Sterling Sitt Chen Chok A Tool to Support Stepwise Enhancement in Prolog. 21-26 1993 LPE db/conf/lpe/lpe93.html#SterlingC93