Efficient tabling mechanisms for logic programs (1995)

by I V Ramakrishnan, Prasad Rao, Konstantinos Sagonas, Terrance Swift, David S Warren
Venue:Proceedings of the 12th International Conference on Logic Programming