TY  - RPRT
TI  - Linear Tabulated Resolution Based on Prolog Control Strategy
AU  - Yi-Dong Shen
AU  - Li-Yan Yuan
AU  - Jia-Huai You
AU  - Neng-Fa Zhou
PY  - 2000
UR  - https://arxiv.org/abs/cs/0003046
ID  - cs/0003046
ER  -