Efficient Tabling Mechanisms for Logic Programs.

I. V. Ramakrishnan, Prasad Rao, Konstantinos Sagonas, Terrance Swift, David Scott Warren

Browse the full ICLP paper archive.