Ecient Tabling Mechanisms for Logic Programs (1995)

by I V Ramakrishnan, P Rao, K Sagonas, T Swift, D S Warren
Venue:In Proc. of ICLP’95