DMCA

Symbolic support graph: A space-efficient data structure for incremental tabled evaluation (2005)

by Diptikalyan Saha , C. R. Ramakrishnan
Venue:In Proceedings of ICLP
Citations:10 - 4 self