Semi-naive evaluation in linear tabling.

Neng-Fa Zhou, Yi-Dong Shen, Taisuke Sato

Browse the full PPDP paper archive.