Konstantinos F. Sagonas, Peter J. Stuckey. Just enough tabling. In Eugenio Moggi, David Scott Warren, editors, Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 24-26 August 2004, Verona, Italy. pages 78-89, ACM, 2004. [doi]
Abstract is missing.