Prasad Rao C. R. Ramakrishnan I. V. Ramakrishnan A Thread in Time Saves Tabling Time. 112-126 1996 JICSLP db/conf/iclp/iclp96.html#RaoRR96