TY  - RPRT
TI  - On Combining Linear-Based Strategies for Tabled Evaluation of Logic Programs
AU  - Miguel Areias
AU  - Ricardo Rocha
PY  - 2011
DO  - 10.1017/s147106841100024x
UR  - https://arxiv.org/abs/1107.5030
ID  - 1107.5030
ER  -