Efficient fixpoint computation in linear tabling (0)

by N-F Zhou, T Sato
Venue:in Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming, ser. PPDP ’03