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. In ICLP. pages 697-711, 1995.

Abstract

Abstract is missing.