Previous: [4], Up: Bibliography   [Contents]


[5]

B. Demoen and K. Sagonas, CAT: the Copying Approach to Tabling, In C. Palamidessi, H. Glaser and K. Meinke, editors, Principles of Declarative Programming, 10th International Symposium, PLILP’98, Lecture Notes in Computer Science, Springer, 1998. Available form http://user.it.uu.se/~kostis/Papers/cat.ps.gz.