Incremental evaluation of tabled logic programs (2003)

by D Saha, C R Ramakrishnan
Venue:In ICLP