Neng-Fa Zhou Taisuke Sato Yi-Dong Shen Linear tabling strategies and optimizations. 81-109 2008 8 TPLP 1 http://dx.doi.org/10.1017/S147106840700316X db/journals/tplp/tplp8.html#ZhouSS08