@dblp

A Space Efficient Engine for Subsumption-Based Tabled Evaluation of Logic Programs.

, , , and . Fuji International Symposium on Functional and Logic Programming, volume 1722 of Lecture Notes in Computer Science, page 284-300. Springer, (1999)

Links and resources

Tags