Efficient Tabling Mechanisms for Logic Programs.

I. V. Ramakrishnan Prasad Rao Konstantinos F. Sagonas Terrance Swift David Scott Warren Efficient Tabling Mechanisms for Logic Programs. 697-711 1995 ICLP db/conf/iclp/iclp95.html#RamakrishnanRSSW95