TY  - RPRT
TI  - Linear Tabling Strategies and Optimizations
AU  - Neng-Fa Zhou
AU  - Taisuke Sato
AU  - Yi-Dong Shen
PY  - 2007
UR  - https://arxiv.org/abs/0705.3468
ID  - 0705.3468
ER  -