Diptikalyan Saha, C. R. Ramakrishnan
Symbolic Support Graph: A Space Efficient Data Structure for Incremental Tabled Evaluation
ICLP, 2005.
@inproceedings{ICLP-2005-SahaR, author = "Diptikalyan Saha and C. R. Ramakrishnan", booktitle = "{Proceedings of the 21st International Conference on Logic Programming}", doi = "10.1007/11562931_19", isbn = "3-540-29208-X", pages = "235--249", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Symbolic Support Graph: A Space Efficient Data Structure for Incremental Tabled Evaluation}", volume = 3668, year = 2005, }